Package com.ibm.wala.cfg

This package provides control-flow graph utilities.

See:
          Description

Interface Summary
ControlFlowGraph An interface that is common to the Shrike and SSA CFG implementations.
IBasicBlock An interface for a basic block in a control flow graph.
 

Class Summary
AbstractCFG A graph of basic blocks.
CFGCache A mapping from IMethod -> SoftReference -> ShrikeCFG This doesn't work very well ...
CFGSanitizer Utility class to remove edges to exit() from a CFG
InducedCFG A ControlFlowGraph computed from a set of SSA instructions This is a funny CFG ...
ShrikeCFG A graph of basic blocks.
TwoExitCFG This provides a view of a control flow graph with two exits, one for normal returns and one for exceptional exits.
Util  
 

Package com.ibm.wala.cfg Description

This package provides control-flow graph utilities.