In fact, gdb can record the state changes and then store them into an "enhanced" core file, which can then later be used to debug the program in reverse. It's

In fact, gdb can record the state changes and then store them into an "enhanced" core file, which can then later be used to debug the program in reverse. It's rather like adding a "time" dimension to your core file. ;-)