Yes, they're usually called "Omniscient Debuggers". Intellitrace on Visual Studio provides this kind of funcionality.

Also GDB has supported reverse-execution on some environments (i386-linux and amd64-linux included) since version 7.

Some debuggers let you "drop frames". This brings you back up the call stack and you can step back down into the beginning of the method call.

http://stackoverflow.com/questions/2367816/when-using-the-ja...

OCamlDebug does this. Magic :-)