GNU Project Debugger 7.0
Oct 08, 2009
As a source debugger for diverse programming languages such as C, C++ and Pascal, GNU Debugger 7.0 now supports the corresponding Darwin for Mac OS X.
Among the enhancements to 7.0 are reverse debugging and a JIT compiler interface. Download is from the GDB webpage.
tutorial for gdb reverse debugging
http://www.sourceware.org/gdb/wiki/ProcessRecord/Tutorial