There's a binary analysis time travel debugger similar to this, Qira [0][1]. [0]: https://www.usenix.org/conference/enigma2016/conference-program/presentation/

There's a binary analysis time travel debugger similar to this, Qira [0][1]. [0]: https://www.usenix.org/conference/enigma2016/conference-program/presentation/hotz https://www.usenix.org/conference/enigma2016/conference-prog... [1]: https://qira.me/ https://qira.me/