Package com.ibm.wala.ipa.cfg
package com.ibm.wala.ipa.cfg
This package supports interprocedural control-flow graphs, and control-flow graphs specialized
for context.
-
ClassDescriptionAbstractInterproceduralCFG<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.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.A view of a CFG that ignores exceptional edgesExploded interprocedural control-flow graph, constructed lazily.Interprocedural control-flow graph.PrunedCFG<I, T extends IBasicBlock<I>>A pruned view of a
ControlFlowGraph.