Package com.ibm.wala.cfg
package com.ibm.wala.cfg
This package provides control-flow graph utilities.
-
ClassDescriptionAbstractCFG<I, T extends IBasicBlock<I>>Common functionality for
ControlFlowGraphimplementations.Utility class to remove exceptional edges to exit() from a CFGControlFlowGraph<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.AControlFlowGraphcomputed from a set ofSSAInstructioninstructions.MinimalCFG<T>A graph of basic blocks.Convenience methods for navigating aControlFlowGraph.