How to do bidirectional or reverse debugging of programs?

Question

Has anyone actually used a reversable debugger? The only product that Google turns up is UndoDB. It is for apparently for Linux only.

Answer 1

Yes, I have used Virtutech Simics with reverse since 2005. It is incredibly useful, and does make most bugs very simple to fix. Especially those related to timing and race conditions, and multicore/thread "heisenbugs".

See http://jakob.engbloms.se/archives/1547, http://jakob.engbloms.se/archives/1554, and http://jakob.engbloms.se/archives/1564 take inventory of most known reverse debugger attempts to date.