gdb does this: http://sourceware.org/gdb/news/reversible.html http://sourceware.org/gdb/news/reversible.html, http://sourceware.org/gdb/onlinedocs/gdb/Checkpoin

gdb does this: http://sourceware.org/gdb/news/reversible.html http://sourceware.org/gdb/news/reversible.html, http://sourceware.org/gdb/onlinedocs/gdb/Checkpoint_002fRestart.html http://sourceware.org/gdb/onlinedocs/gdb/Checkpoint_002fRest... (Linux-only, so I've never used those features.) Slapping a nicer interface on it is left as an exercise to the reader. ;-)