Gdb reverse debugging. This will show the basic commands to use this facility.