Class ExplodedControlFlowGraph

java.lang.Object
com.ibm.wala.ssa.analysis.ExplodedControlFlowGraph
All Implemented Interfaces:
ControlFlowGraph<SSAInstruction,IExplodedBasicBlock>, MinimalCFG<IExplodedBasicBlock>, EdgeManager<IExplodedBasicBlock>, Graph<IExplodedBasicBlock>, NodeManager<IExplodedBasicBlock>, NumberedEdgeManager<IExplodedBasicBlock>, NumberedGraph<IExplodedBasicBlock>, NumberedNodeManager<IExplodedBasicBlock>, Iterable<IExplodedBasicBlock>

public class ExplodedControlFlowGraph extends Object implements ControlFlowGraph<SSAInstruction,IExplodedBasicBlock>
A view of a control flow graph where each basic block corresponds to exactly one SSA instruction index.

Prototype: Not terribly efficient.