Has anyone actually used a reversable debugger? The only product that Google turns up is UndoDB. It is for apparently for Linux only.
As a amusing historical note, EXDAMS implemented a post-mortem reverse debugging back in the late 60s for MULTICS.