Many years later, similar functionality made it into gdb: http://sourceware.org/gdb/wiki/ReverseDebug