Interpreting graphical Analysis Results
a picture for each computation step
the Exit information is shown just beside the outgoing edges
the Entry information is not displayed
colors of nodes and information:
- red for the information that is about to be changed
- blue for nodes contained in the worklist
nodes labeled with elementary statements and labels
D ? ? is equivalent to [->BOT:x-ɳ] x ? 7