Package com.ibm.wala.cfg

package com.ibm.wala.cfg

This package provides control-flow graph utilities.

Related Packages

Package	Description
com.ibm.wala.cfg.cdg	This package supports a control-dependence graph.
com.ibm.wala.cfg.exc

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