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. -
Class Summary Class Description AbstractCFG<I,T extends IBasicBlock<I>> Common functionality forControlFlowGraphimplementations.CFGSanitizer Utility class to remove exceptional edges to exit() from a CFGInducedCFG AControlFlowGraphcomputed from a set ofSSAInstructioninstructions.ShrikeCFG A graph of basic blocks.Util Convenience methods for navigating aControlFlowGraph.