Package com.ibm.wala.ipa.cfg
package com.ibm.wala.ipa.cfg
-
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 aControlFlowGraph
.