Package com.ibm.wala.cfg

This package provides control-flow graph utilities.

See:
Description

Interface Summary

ControlFlowGraph<I,T extends IBasicBlock<I>>	An interface that is common to the Shrike and SSA CFG implementations.
IBasicBlock<InstType>	An interface for a basic block in a control flow graph.

Class Summary

AbstractCFG<I,T extends IBasicBlock<I>>	Common functionality for ControlFlowGraph implementations.
CFGSanitizer	Utility class to remove exceptional edges to exit() from a CFG
InducedCFG	A ControlFlowGraph computed from a set of SSAInstruction instructions.
ShrikeCFG	A graph of basic blocks.
Util	Convenience methods for navigating a ControlFlowGraph.

Package com.ibm.wala.cfg Description

This package provides control-flow graph utilities.