Tool for modeling code behavior?

Question

Debugging

I often have to analyze the behavior of someone else's C/assembler code. Usually, for this, I draw structures, variables, data link arrows, state diagrams, etc. on paper. It's quite similar to UML modeling, with an emphasis on object and interaction diagrams, and I used Rational Rose for that a long time ago. But Rosa is somehow heavy for this, and it costs money. The disadvantages of paper are also obvious - it is impossible to edit, no ^c^v, the place is not rubber.
Is there a better technology for modeling code behavior than UML?
What tools do you use to do this.

Answer 1

Graphviz, codedrawer, yes there are many of them - they are all different in taste and color. Google "c code visualizer".

Answer 2

Well, if you have a very deep approach, then write a description of the code structure in a special language and work with it in LTSA - you can immediately check for any problems like deadlocks and so on.

Answer 3

And yes, also LabView - though there seems to be support only for C ++.

Answer 4

SciTools Understand