| Interface | Description |
|---|---|
| CFGVisualizer<V extends AbstractValue<V>,S extends Store<S>,T extends TransferFunction<V,S>> |
Perform some visualization on a control flow graph.
|
| Class | Description |
|---|---|
| AbstractCFGVisualizer<V extends AbstractValue<V>,S extends Store<S>,T extends TransferFunction<V,S>> |
This abstract class makes implementing a
CFGVisualizer easier. |
| CFGVisualizeLauncher |
Launcher to generate the DOT or String representation of the control flow graph of a given method
in a given class.
|
| DOTCFGVisualizer<V extends AbstractValue<V>,S extends Store<S>,T extends TransferFunction<V,S>> |
Generate a graph description in the DOT language of a control graph.
|
| StringCFGVisualizer<V extends AbstractValue<V>,S extends Store<S>,T extends TransferFunction<V,S>> |
Generate the String representation of a control flow graph.
|
| Enum | Description |
|---|---|
| AbstractCFGVisualizer.VisualizeWhere |
Whether to visualize before or after a block.
|