Package com.ibm.wala.ipa.cfg

This package supports interprocedural control-flow graphs, and control-flow graphs specialized for context.

See: Description

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 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.

Package com.ibm.wala.ipa.cfg Description

This package supports interprocedural control-flow graphs, and control-flow graphs specialized for context.