aiSee: Annotated Control Flow Graph

Control flow graphAnnotated control flow graph: const listsAnnotated control flow graph: live variables and const lists

aiSee allows the edges of a graph to be partitioned statically into edge classes. The user can then dynamically expose/hide edge classes via the Select Edge Classes dialog box. Edges of enabled edge classes and their target nodes are drawn in the graph window. Edges of disabled edge classes and all nodes accessible via these edges are not drawn and are not considered in the layout calculation of the graph.