<story><title>Debugging operating systems with time-traveling virtual machines (2005) [pdf]</title><url>https://www.usenix.org/legacy/events/usenix05/tech/general/king/king.pdf</url></story><parent_chain></parent_chain><comment><author>fatcunt</author><text>Microsoft has, or had, a similar technology they use internally, called TKO: &lt;a href=&quot;https:&amp;#x2F;&amp;#x2F;www.microsoft.com&amp;#x2F;security&amp;#x2F;blog&amp;#x2F;2020&amp;#x2F;05&amp;#x2F;04&amp;#x2F;mitigating-vulnerabilities-endpoint-network-stacks&quot; rel=&quot;nofollow&quot;&gt;https:&amp;#x2F;&amp;#x2F;www.microsoft.com&amp;#x2F;security&amp;#x2F;blog&amp;#x2F;2020&amp;#x2F;05&amp;#x2F;04&amp;#x2F;mitigatin...&lt;/a&gt;&lt;p&gt;It&amp;#x27;s written in Rust and is based around a version of Bochs modified for deterministic execution. It&amp;#x27;s got time-travel debugging (with WinDbg), which works by replaying forward from the nearest snapshot to the point at which the user is asking to move backwards to.&lt;p&gt;The primary author of this software wanted to open source it, but the higher-ups at MSFT refused. He&amp;#x27;s been working on similar projects in a personal capacity though, e.g. &lt;a href=&quot;https:&amp;#x2F;&amp;#x2F;gamozolabs.github.io&amp;#x2F;fuzzing&amp;#x2F;2020&amp;#x2F;12&amp;#x2F;06&amp;#x2F;fuzzos.html&quot; rel=&quot;nofollow&quot;&gt;https:&amp;#x2F;&amp;#x2F;gamozolabs.github.io&amp;#x2F;fuzzing&amp;#x2F;2020&amp;#x2F;12&amp;#x2F;06&amp;#x2F;fuzzos.html&lt;/a&gt;</text></comment>
<story><title>Debugging operating systems with time-traveling virtual machines (2005) [pdf]</title><url>https://www.usenix.org/legacy/events/usenix05/tech/general/king/king.pdf</url></story><parent_chain></parent_chain><comment><author>Veserv</author><text>A history of other time traveling debugging papers and products (including this one):&lt;p&gt;&lt;a href=&quot;https:&amp;#x2F;&amp;#x2F;jakob.engbloms.se&amp;#x2F;archives&amp;#x2F;1554&quot; rel=&quot;nofollow&quot;&gt;https:&amp;#x2F;&amp;#x2F;jakob.engbloms.se&amp;#x2F;archives&amp;#x2F;1554&lt;/a&gt;&lt;p&gt;&lt;a href=&quot;https:&amp;#x2F;&amp;#x2F;jakob.engbloms.se&amp;#x2F;archives&amp;#x2F;1564&quot; rel=&quot;nofollow&quot;&gt;https:&amp;#x2F;&amp;#x2F;jakob.engbloms.se&amp;#x2F;archives&amp;#x2F;1564&lt;/a&gt;</text></comment>