| Interface | Description |
|---|---|
| BytecodeCFG | |
| ControlFlowGraph<I,T extends IBasicBlock<I>> |
An interface that is common to the Shrike and SSA CFG implementations.
|
| IBasicBlock<InstType> |
An interface for a basic block in a control flow graph.
|
| MinimalCFG<T> |
| Class | Description |
|---|---|
| AbstractCFG<I,T extends IBasicBlock<I>> |
Common functionality for
ControlFlowGraph implementations. |
| CFGSanitizer |
Utility class to remove exceptional edges to exit() from a CFG
|
| InducedCFG |
A
ControlFlowGraph computed from a set of SSAInstruction instructions. |
| ShrikeCFG |
A graph of basic blocks.
|
| Util |
Convenience methods for navigating a
ControlFlowGraph. |