The situation you are suggesting might require dumps of as much state as can be measured and a method for recreating the state of the application from that dump

The situation you are suggesting might require dumps of as much state as can be measured and a method for recreating the state of the application from that dump. That might be a very large set of data if every variable can be altered. Even execution paths and past variable values would need to be measured over time.