Package com.ibm.wala.cfg

Interface Summary

Interface	Description
BytecodeCFG
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.
MinimalCFG<T>

Class Summary

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