Package com.ibm.wala.ipa.cfg
-
Interface Summary 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 Summary 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 edgesExplodedInterproceduralCFG Exploded interprocedural control-flow graph, constructed lazily.InterproceduralCFG Interprocedural control-flow graph.PrunedCFG<I,T extends IBasicBlock<I>> A pruned view of aControlFlowGraph
.