An analysis that analyzes all methods of all class files of a project using a
Visualizes call graphs using Graphviz.
Given GraphViz's capabilities only small call graphs (10 to 20 nodes) can
be effectively visualized.
Performs an abstract interpretation of all methods of the given class file(s) using
a configurable domain.
This class is meant to support the development and testing of new domains.