What visual debugger tools exist the let you interact with the trace after the program has executed?
For example, I'm thinking of a directed graph which depicts the functions and processes which led to a variable's value.
Essentially it would snapshot every single state of a program and allow you to easily interact with it.