There's a binary analysis time travel debugger similar to this, Qira [0][1].

[0]: https://www.usenix.org/conference/enigma2016/conference-prog...

[1]: https://qira.me/