Publications JKUThe Ideal Graph Visualizer is a tool developed to help examine the
intermediate representation of C2 which is commonly referred to as the
"ideal graph". It was developed in collaboration with the University
of Linz in Austria and has been included as part of hotspot since
that was the primary target of the tool. The tool itself is fairly
general with on a few modules that contain C2 specific elements.
...
Papers describing the tools itself are available at HotSpotInternals/Publications+JKU
Overview
Content Tools
ThemeBuilder