ExplodedControlFlowGraph (com.ibm.wala.core 1.5.6 API)

java.lang.Object
- com.ibm.wala.ssa.analysis.ExplodedControlFlowGraph

All Implemented Interfaces:

ControlFlowGraph<SSAInstruction,IExplodedBasicBlock>, MinimalCFG<IExplodedBasicBlock>, com.ibm.wala.util.graph.EdgeManager<IExplodedBasicBlock>, com.ibm.wala.util.graph.Graph<IExplodedBasicBlock>, com.ibm.wala.util.graph.NodeManager<IExplodedBasicBlock>, com.ibm.wala.util.graph.NumberedEdgeManager<IExplodedBasicBlock>, com.ibm.wala.util.graph.NumberedGraph<IExplodedBasicBlock>, com.ibm.wala.util.graph.NumberedNodeManager<IExplodedBasicBlock>, java.lang.Iterable<IExplodedBasicBlock>
```
public class ExplodedControlFlowGraph
extends java.lang.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.

Method Summary

All Methods Static Methods Instance Methods Concrete Methods
Modifier and Type	Method and Description
`void`	`addEdge(IExplodedBasicBlock src, IExplodedBasicBlock dst)`
`void`	`addNode(IExplodedBasicBlock n)`
`boolean`	`containsNode(IExplodedBasicBlock N)`
`IExplodedBasicBlock`	`entry()` Return the entry basic block in the CFG
`IExplodedBasicBlock`	`exit()`
`IExplodedBasicBlock`	`getBlockForInstruction(int index)`
`com.ibm.wala.util.intset.BitVector`	`getCatchBlocks()`
`java.util.Collection<IExplodedBasicBlock>`	`getExceptionalPredecessors(IExplodedBasicBlock bb)` The order of blocks returned should be arbitrary but deterministic.
`java.util.List<IExplodedBasicBlock>`	`getExceptionalSuccessors(IExplodedBasicBlock bb)` The order of blocks returned must indicate the exception-handling scope.
`SSAInstruction[]`	`getInstructions()`
`IR`	`getIR()`
`int`	`getMaxNumber()`
`IMethod`	`getMethod()`
`IExplodedBasicBlock`	`getNode(int number)`
`java.util.Collection<IExplodedBasicBlock>`	`getNormalPredecessors(IExplodedBasicBlock bb)` The order of blocks returned should be arbitrary but deterministic.
`java.util.Collection<IExplodedBasicBlock>`	`getNormalSuccessors(IExplodedBasicBlock bb)` The order of blocks returned should be arbitrary but deterministic.
`int`	`getNumber(IExplodedBasicBlock n)`
`int`	`getNumberOfNodes()`
`int`	`getPredNodeCount(IExplodedBasicBlock bb)`
`com.ibm.wala.util.intset.IntSet`	`getPredNodeNumbers(IExplodedBasicBlock node)`
`java.util.Iterator<IExplodedBasicBlock>`	`getPredNodes(IExplodedBasicBlock bb)`
`int`	`getProgramCounter(int index)` TODO: move this into IR?
`int`	`getSuccNodeCount(IExplodedBasicBlock N)`
`com.ibm.wala.util.intset.IntSet`	`getSuccNodeNumbers(IExplodedBasicBlock node)`
`java.util.Iterator<IExplodedBasicBlock>`	`getSuccNodes(IExplodedBasicBlock bb)`
`boolean`	`hasEdge(IExplodedBasicBlock src, IExplodedBasicBlock dst)`
`java.util.Iterator<IExplodedBasicBlock>`	`iterateNodes(com.ibm.wala.util.intset.IntSet s)`
`java.util.Iterator<IExplodedBasicBlock>`	`iterator()`
`static ExplodedControlFlowGraph`	`make(IR ir)`
`void`	`removeAllIncidentEdges(IExplodedBasicBlock node)`
`void`	`removeEdge(IExplodedBasicBlock src, IExplodedBasicBlock dst)`
`void`	`removeIncomingEdges(IExplodedBasicBlock node)`
`void`	`removeNode(IExplodedBasicBlock n)`
`void`	`removeNodeAndEdges(IExplodedBasicBlock N)`
`void`	`removeOutgoingEdges(IExplodedBasicBlock node)`
`java.util.stream.Stream<IExplodedBasicBlock>`	`stream()`
`java.lang.String`	`toString()`

Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Methods inherited from interface java.lang.Iterable
forEach, spliterator

- Method Detail
  - make
```
public static ExplodedControlFlowGraph make(IR ir)
```
  - entry
```
public IExplodedBasicBlock entry()
```
    Description copied from interface: MinimalCFG
    
    Return the entry basic block in the CFG
    
    Specified by:
    
    entry in interface MinimalCFG<IExplodedBasicBlock>
  - exit
```
public IExplodedBasicBlock exit()
```
    Specified by:
    
    exit in interface MinimalCFG<IExplodedBasicBlock>
    
    Returns:
    
    the synthetic exit block for the cfg
  - getBlockForInstruction
```
public IExplodedBasicBlock getBlockForInstruction(int index)
```
    Specified by:
    
    getBlockForInstruction in interface ControlFlowGraph<SSAInstruction,IExplodedBasicBlock>
    
    Parameters:
    
    index - an instruction index
    
    Returns:
    
    the basic block which contains this instruction.
  - getCatchBlocks
```
public com.ibm.wala.util.intset.BitVector getCatchBlocks()
```
    Specified by:
    
    getCatchBlocks in interface ControlFlowGraph<SSAInstruction,IExplodedBasicBlock>
    
    Returns:
    
    the indices of the catch blocks, as a bit vector
  - getExceptionalPredecessors
```
public java.util.Collection<IExplodedBasicBlock> getExceptionalPredecessors(IExplodedBasicBlock bb)
```
    Description copied from interface: MinimalCFG
    
    The order of blocks returned should be arbitrary but deterministic.
    
    Specified by:
    
    getExceptionalPredecessors in interface MinimalCFG<IExplodedBasicBlock>
    
    Returns:
    
    the basic blocks from which b may be reached via exceptional control flow
  - getExceptionalSuccessors
```
public java.util.List<IExplodedBasicBlock> getExceptionalSuccessors(IExplodedBasicBlock bb)
```
    Description copied from interface: MinimalCFG
    
    The order of blocks returned must indicate the exception-handling scope. So the first block is the first candidate catch block, and so on. With this invariant one can compute the exceptional control flow for a given exception type.
    
    Specified by:
    
    getExceptionalSuccessors in interface MinimalCFG<IExplodedBasicBlock>
    
    Returns:
    
    the basic blocks which may be reached from b via exceptional control flow
  - getInstructions
```
public SSAInstruction[] getInstructions()
```
    Specified by:
    
    getInstructions in interface ControlFlowGraph<SSAInstruction,IExplodedBasicBlock>
    
    Returns:
    
    the instructions of this CFG, as an array.
  - getMethod
```
public IMethod getMethod()
                  throws com.ibm.wala.util.debug.UnimplementedError
```
    Specified by:
    
    getMethod in interface ControlFlowGraph<SSAInstruction,IExplodedBasicBlock>
    
    Returns:
    
    the Method this CFG represents
    
    Throws:
    
    com.ibm.wala.util.debug.UnimplementedError
  - getNormalPredecessors
```
public java.util.Collection<IExplodedBasicBlock> getNormalPredecessors(IExplodedBasicBlock bb)
```
    Description copied from interface: MinimalCFG
    
    The order of blocks returned should be arbitrary but deterministic.
    
    Specified by:
    
    getNormalPredecessors in interface MinimalCFG<IExplodedBasicBlock>
    
    Returns:
    
    the basic blocks from which b may be reached via normal control flow
  - getNormalSuccessors
```
public java.util.Collection<IExplodedBasicBlock> getNormalSuccessors(IExplodedBasicBlock bb)
```
    Description copied from interface: MinimalCFG
    
    The order of blocks returned should be arbitrary but deterministic.
    
    Specified by:
    
    getNormalSuccessors in interface MinimalCFG<IExplodedBasicBlock>
    
    Returns:
    
    the basic blocks which may be reached from b via normal control flow
  - getProgramCounter
```
public int getProgramCounter(int index)
                      throws com.ibm.wala.util.debug.UnimplementedError
```
    Description copied from interface: ControlFlowGraph
    
    TODO: move this into IR?
    
    Specified by:
    
    getProgramCounter in interface ControlFlowGraph<SSAInstruction,IExplodedBasicBlock>
    
    Parameters:
    
    index - an instruction index
    
    Returns:
    
    the program counter (bytecode index) corresponding to that instruction
    
    Throws:
    
    com.ibm.wala.util.debug.UnimplementedError
  - removeNodeAndEdges
```
public void removeNodeAndEdges(IExplodedBasicBlock N)
                        throws java.lang.UnsupportedOperationException
```
    Specified by:
    
    removeNodeAndEdges in interface com.ibm.wala.util.graph.Graph<IExplodedBasicBlock>
    
    Throws:
    
    java.lang.UnsupportedOperationException
  - addNode
```
public void addNode(IExplodedBasicBlock n)
             throws java.lang.UnsupportedOperationException
```
    Specified by:
    
    addNode in interface com.ibm.wala.util.graph.NodeManager<IExplodedBasicBlock>
    
    Throws:
    
    java.lang.UnsupportedOperationException
  - containsNode
```
public boolean containsNode(IExplodedBasicBlock N)
```
    Specified by:
    
    containsNode in interface com.ibm.wala.util.graph.NodeManager<IExplodedBasicBlock>
  - getNumberOfNodes
```
public int getNumberOfNodes()
```
    Specified by:
    
    getNumberOfNodes in interface com.ibm.wala.util.graph.NodeManager<IExplodedBasicBlock>
  - iterator
```
public java.util.Iterator<IExplodedBasicBlock> iterator()
```
    Specified by:
    
    iterator in interface com.ibm.wala.util.graph.NodeManager<IExplodedBasicBlock>
    
    Specified by:
    
    iterator in interface java.lang.Iterable<IExplodedBasicBlock>
  - stream
```
public java.util.stream.Stream<IExplodedBasicBlock> stream()
```
    Specified by:
    
    stream in interface com.ibm.wala.util.graph.NodeManager<IExplodedBasicBlock>
  - removeNode
```
public void removeNode(IExplodedBasicBlock n)
                throws java.lang.UnsupportedOperationException
```
    Specified by:
    
    removeNode in interface com.ibm.wala.util.graph.NodeManager<IExplodedBasicBlock>
    
    Throws:
    
    java.lang.UnsupportedOperationException
  - addEdge
```
public void addEdge(IExplodedBasicBlock src,
                    IExplodedBasicBlock dst)
             throws java.lang.UnsupportedOperationException
```
    Specified by:
    
    addEdge in interface com.ibm.wala.util.graph.EdgeManager<IExplodedBasicBlock>
    
    Throws:
    
    java.lang.UnsupportedOperationException
  - getPredNodeCount
```
public int getPredNodeCount(IExplodedBasicBlock bb)
                     throws java.lang.IllegalArgumentException
```
    Specified by:
    
    getPredNodeCount in interface com.ibm.wala.util.graph.EdgeManager<IExplodedBasicBlock>
    
    Throws:
    
    java.lang.IllegalArgumentException
  - getPredNodes
```
public java.util.Iterator<IExplodedBasicBlock> getPredNodes(IExplodedBasicBlock bb)
                                                     throws java.lang.IllegalArgumentException
```
    Specified by:
    
    getPredNodes in interface com.ibm.wala.util.graph.EdgeManager<IExplodedBasicBlock>
    
    Throws:
    
    java.lang.IllegalArgumentException
  - getSuccNodeCount
```
public int getSuccNodeCount(IExplodedBasicBlock N)
                     throws com.ibm.wala.util.debug.UnimplementedError
```
    Specified by:
    
    getSuccNodeCount in interface com.ibm.wala.util.graph.EdgeManager<IExplodedBasicBlock>
    
    Throws:
    
    com.ibm.wala.util.debug.UnimplementedError
  - getSuccNodes
```
public java.util.Iterator<IExplodedBasicBlock> getSuccNodes(IExplodedBasicBlock bb)
```
    Specified by:
    
    getSuccNodes in interface com.ibm.wala.util.graph.EdgeManager<IExplodedBasicBlock>
  - hasEdge
```
public boolean hasEdge(IExplodedBasicBlock src,
                       IExplodedBasicBlock dst)
                throws com.ibm.wala.util.debug.UnimplementedError
```
    Specified by:
    
    hasEdge in interface com.ibm.wala.util.graph.EdgeManager<IExplodedBasicBlock>
    
    Throws:
    
    com.ibm.wala.util.debug.UnimplementedError
  - removeAllIncidentEdges
```
public void removeAllIncidentEdges(IExplodedBasicBlock node)
                            throws java.lang.UnsupportedOperationException
```
    Specified by:
    
    removeAllIncidentEdges in interface com.ibm.wala.util.graph.EdgeManager<IExplodedBasicBlock>
    
    Throws:
    
    java.lang.UnsupportedOperationException
  - removeEdge
```
public void removeEdge(IExplodedBasicBlock src,
                       IExplodedBasicBlock dst)
                throws java.lang.UnsupportedOperationException
```
    Specified by:
    
    removeEdge in interface com.ibm.wala.util.graph.EdgeManager<IExplodedBasicBlock>
    
    Throws:
    
    java.lang.UnsupportedOperationException
  - removeIncomingEdges
```
public void removeIncomingEdges(IExplodedBasicBlock node)
                         throws java.lang.UnsupportedOperationException
```
    Specified by:
    
    removeIncomingEdges in interface com.ibm.wala.util.graph.EdgeManager<IExplodedBasicBlock>
    
    Throws:
    
    java.lang.UnsupportedOperationException
  - removeOutgoingEdges
```
public void removeOutgoingEdges(IExplodedBasicBlock node)
                         throws java.lang.UnsupportedOperationException
```
    Specified by:
    
    removeOutgoingEdges in interface com.ibm.wala.util.graph.EdgeManager<IExplodedBasicBlock>
    
    Throws:
    
    java.lang.UnsupportedOperationException
  - getMaxNumber
```
public int getMaxNumber()
```
    Specified by:
    
    getMaxNumber in interface com.ibm.wala.util.graph.NumberedNodeManager<IExplodedBasicBlock>
  - getNode
```
public IExplodedBasicBlock getNode(int number)
```
    Specified by:
    
    getNode in interface com.ibm.wala.util.graph.NumberedNodeManager<IExplodedBasicBlock>
  - getNumber
```
public int getNumber(IExplodedBasicBlock n)
              throws java.lang.IllegalArgumentException
```
    Specified by:
    
    getNumber in interface com.ibm.wala.util.graph.NumberedNodeManager<IExplodedBasicBlock>
    
    Throws:
    
    java.lang.IllegalArgumentException
  - iterateNodes
```
public java.util.Iterator<IExplodedBasicBlock> iterateNodes(com.ibm.wala.util.intset.IntSet s)
                                                     throws com.ibm.wala.util.debug.UnimplementedError
```
    Specified by:
    
    iterateNodes in interface com.ibm.wala.util.graph.NumberedNodeManager<IExplodedBasicBlock>
    
    Throws:
    
    com.ibm.wala.util.debug.UnimplementedError
  - getPredNodeNumbers
```
public com.ibm.wala.util.intset.IntSet getPredNodeNumbers(IExplodedBasicBlock node)
```
    Specified by:
    
    getPredNodeNumbers in interface com.ibm.wala.util.graph.NumberedEdgeManager<IExplodedBasicBlock>
  - getSuccNodeNumbers
```
public com.ibm.wala.util.intset.IntSet getSuccNodeNumbers(IExplodedBasicBlock node)
                                                   throws com.ibm.wala.util.debug.UnimplementedError
```
    Specified by:
    
    getSuccNodeNumbers in interface com.ibm.wala.util.graph.NumberedEdgeManager<IExplodedBasicBlock>
    
    Throws:
    
    com.ibm.wala.util.debug.UnimplementedError
  - toString
```
public java.lang.String toString()
```
    Overrides:
    
    toString in class java.lang.Object
  - getIR
```
public IR getIR()
```

Class ExplodedControlFlowGraph

Method Summary

Methods inherited from class java.lang.Object

Methods inherited from interface java.lang.Iterable

Method Detail

make

entry

exit

getBlockForInstruction

getCatchBlocks

getExceptionalPredecessors

getExceptionalSuccessors

getInstructions

getMethod

getNormalPredecessors

getNormalSuccessors

getProgramCounter

removeNodeAndEdges

addNode

containsNode

getNumberOfNodes

iterator

stream

removeNode

addEdge

getPredNodeCount

getPredNodes

getSuccNodeCount

getSuccNodes

hasEdge

removeAllIncidentEdges

removeEdge

removeIncomingEdges

removeOutgoingEdges

getMaxNumber

getNode

getNumber

iterateNodes

getPredNodeNumbers

getSuccNodeNumbers

toString

getIR