I would like to see a tool that combines "version control" and executable tracing, where you can take a snapshot of stack/heap and registers and allows you to move through each snapshot and see what changed, essentially allowing you to replay the execution instruction by instruction (with "proper" I/O result code/data simulation).

I know George Hotz was working on something like this before he got into the Comma AI thing and it really caught my eye, but I don't think there is anything out there that is "production ready" like say, IDA Pro or Ghidra or whatever.

Anyone know if such a tool exists? I imagine it would make mapping out vtables and such trivial.