Hi,

I was wondering if such software exists (it is very close to the task of reverse engineering): a sort of assembly line state tracker.
Namely, for each line of assembly, which regs are in used and for what, and what do we have on the stack with their appropriate offsets.

We could imagine even more with some memory state tracking, but regs and the stack would already be very useful.

we could "diff" the state of a line with the state of another line (could give garbage if those lines are "too far apart").

We could go even further, if this assembly line state could be serialized and encoded as text and appended to this very line as a comment.
In other words, make it part of the source code, then would help a lot any new developer diving in such code.

And to go beyond, we could imagine a passive terminal GUI presenting those states and their diffs, with some communication socket/pipe with your favorite "vim/emacs". But "yankink/pasting" the serialized encoded text should be enough.

Please give some examples of what you expect to see.

I think he wants to write an IDA for Linux. Try to run it with "wine" and enjoy reverse engineering

For instance, for one line in one in my source file, in this software, I would have displayed that rax = counter, rsi = base of my array + constant offset, rdi = tintin, rsp - 8 = milou, rsp - 16 = foo. In general, reg = "some text", rsp -+ offset = "some text". In this very software I would be able to shift/pop/push the stack, change the register content stuff, and maybe the advanced options I did describe in my first post, etc.

It is a mix of an IDE with a sort of reverse engineering tool.

I was wondering if such tool does exist ("libre"/open source, ofc), or something close enough.

In other words, this is "comments on steroids".

It looks like you are suggesting something similar to a debugger with source code integration. Those already exist of course.

Ghidra is another option.

ghidra is unfortunately java trash. I am looking for something like C/terminal open source, etc.

I prefer the way the IDA comments on the code A little advice. Start with something simpler. For example, add a function of repeatable comments to the IDE (like in IDA, which the IDE automatically repeats when using labels or registers next to which such a comment is specified). This is entirely the functionality of the IDE. You will not need to save repeated comments to the source text unnecessarily (reduce its size). And the design of such comments can be within the framework of the standard design of comments (they will not be perceived as something alien saved in the source code, but you will have to complete the definition in the IDE of the presence of a saved copy of such a comment)

Decompiler research has some similar tools. I would bet gdb has some plug-ins in this area - just haven't looked (I like to read the asm). IDA authors have a decompiler tool as well.

I thought of gdb, but it is c++ trash now.
Then I guess I may prototype one if I really get the urge to have such code annotation assistant.

Everything is fine with gdb for asm.