Time-travelling based debugger

[umbrageodotus]

Is your feature request related to a problem? Please describe.
I love rr's time-travel-based debugger idea but I like cutter and the rizin/r2 philosophy framework a ton.

Describe the solution you'd like
I'd like a rr-style time-travel debugger, implemented to fit rizin.

[Rot127]

rr apparently supports IDEs with it's gdb interface (https://github.com/rr-debugger/rr/wiki/Using-rr-in-an-IDE).

So either it is already possible to use it or it shouldn't be too difficult to add.
But I am not familiar with RzDebug.

cc @well-mannered-goat @wargio

[wargio]

this requires rzil. this can be easily implemented as rzil events and stored in frames.

I think there is an issue about this somewhere? @notxvilka

[notxvilka]

this requires rzil. this can be easily implemented as rzil events and stored in frames.

I think there is an issue about this somewhere? @notxvilka

Yes:

• Porting ESIL analysis to RzIL #4736
• RzIL debug "emulation" in visual mode #3676

[Rot127]

Though our RzIL VM can't step backwards IIRC.

[notxvilka]

If we speak about the backward step and recording, Rizin already supports it - see dsb and dts commands. It is experimental and could be better tested and improved.

See the corresponding chapter of the book: https://book.rizin.re/src/debugger/revdebug.html

cc @well-mannered-goat

[well-mannered-goat]

If we speak about the backward step and recording, Rizin already supports it - see dsb and dts commands. It is experimental and could be better tested and improved.

Yes, backward stepping is present in the debugger for some archos combinations IIRC
The session is maintained through RzDebugSession, but I havent really worked with it till now. For each function (lets stay stepping) we have a different implementation when in a session and different for normal one

Maybe refactor RzDebugSession such that it by default works for normal one, but when a session is started for recording, it initalizes some if its values and then works for backward stepping etc? and add better testing