aiSee: Constant Propagation Analysis

Interprocedural constant propagation analysis

aiSee includes an experimental implementation of subgraph clustering. Just like a boxed group of nodes, a clustered subgraph is surrounded by a frame. However, in contrast to a boxed subgraph, edges from nodes outside a clustered subgraph can be drawn directly to nodes inside the cluster and vice versa. For instance, this allows the comprehensible visualization of interprocedural constant propagation, courtesy of PAG/WWW.