See: Description
Interface | Description |
---|---|
EdgeFilter<T extends IBasicBlock> |
This class is used by the PrunedCFG to determine which edges in a given CFG should be kept in the pruned version.
|
Class | Description |
---|---|
AbstractInterproceduralCFG<T extends ISSABasicBlock> |
Interprocedural control-flow graph, constructed lazily.
|
BasicBlockInContext<T extends ISSABasicBlock> |
A helper class to make the ipcfg work correctly with context-sensitive call graphs.
|
ExceptionPrunedCFG |
A view of a CFG that ignores exceptional edges
|
ExplodedInterproceduralCFG |
Exploded interprocedural control-flow graph, constructed lazily.
|
InterproceduralCFG |
Interprocedural control-flow graph.
|
PrunedCFG<I,T extends IBasicBlock<I>> |
A pruned view of a
ControlFlowGraph . |