com.ibm.wala.ssa.analysis

Class ExplodedControlFlowGraph

java.lang.Object

com.ibm.wala.ssa.analysis.ExplodedControlFlowGraph

All Implemented Interfaces:

ControlFlowGraph<SSAInstruction,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>, 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.

Method Summary

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()
Collection<IExplodedBasicBlock>	getExceptionalPredecessors(IExplodedBasicBlock bb) The order of blocks returned should be arbitrary but deterministic.
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)
Collection<IExplodedBasicBlock>	getNormalPredecessors(IExplodedBasicBlock bb) The order of blocks returned should be arbitrary but deterministic.
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)
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)
Iterator<IExplodedBasicBlock>	getSuccNodes(IExplodedBasicBlock bb)
boolean	hasEdge(IExplodedBasicBlock src, IExplodedBasicBlock dst)
Iterator<IExplodedBasicBlock>	iterateNodes(com.ibm.wala.util.intset.IntSet s)
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)
String	toString()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Method Detail

make

public static ExplodedControlFlowGraph make(IR ir)

entry

public IExplodedBasicBlock entry()

Description copied from interface: ControlFlowGraph

Return the entry basic block in the CFG

Specified by:

entry in interface ControlFlowGraph<SSAInstruction,IExplodedBasicBlock>

exit

public IExplodedBasicBlock exit()

Specified by:

exit in interface ControlFlowGraph<SSAInstruction,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 Collection<IExplodedBasicBlock> getExceptionalPredecessors(IExplodedBasicBlock bb)

Description copied from interface: ControlFlowGraph

The order of blocks returned should be arbitrary but deterministic.

Specified by:

getExceptionalPredecessors in interface ControlFlowGraph<SSAInstruction,IExplodedBasicBlock>

Returns:

the basic blocks from which b may be reached via exceptional control flow

getExceptionalSuccessors

public List<IExplodedBasicBlock> getExceptionalSuccessors(IExplodedBasicBlock bb)

Description copied from interface: ControlFlowGraph

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 ControlFlowGraph<SSAInstruction,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 Collection<IExplodedBasicBlock> getNormalPredecessors(IExplodedBasicBlock bb)

Description copied from interface: ControlFlowGraph

The order of blocks returned should be arbitrary but deterministic.

Specified by:

getNormalPredecessors in interface ControlFlowGraph<SSAInstruction,IExplodedBasicBlock>

Returns:

the basic blocks from which b may be reached via normal control flow

getNormalSuccessors

public Collection<IExplodedBasicBlock> getNormalSuccessors(IExplodedBasicBlock bb)

Description copied from interface: ControlFlowGraph

The order of blocks returned should be arbitrary but deterministic.

Specified by:

getNormalSuccessors in interface ControlFlowGraph<SSAInstruction,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 UnsupportedOperationException

Specified by:

removeNodeAndEdges in interface com.ibm.wala.util.graph.Graph<IExplodedBasicBlock>

Throws:

UnsupportedOperationException

addNode

public void addNode(IExplodedBasicBlock n)
             throws UnsupportedOperationException

Specified by:

addNode in interface com.ibm.wala.util.graph.NodeManager<IExplodedBasicBlock>

Throws:

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 Iterator<IExplodedBasicBlock> iterator()

Specified by:

iterator in interface com.ibm.wala.util.graph.NodeManager<IExplodedBasicBlock>

Specified by:

iterator in interface Iterable<IExplodedBasicBlock>

removeNode

public void removeNode(IExplodedBasicBlock n)
                throws UnsupportedOperationException

Specified by:

removeNode in interface com.ibm.wala.util.graph.NodeManager<IExplodedBasicBlock>

Throws:

UnsupportedOperationException

addEdge

public void addEdge(IExplodedBasicBlock src,
           IExplodedBasicBlock dst)
             throws UnsupportedOperationException

Specified by:

addEdge in interface com.ibm.wala.util.graph.EdgeManager<IExplodedBasicBlock>

Throws:

UnsupportedOperationException

getPredNodeCount

public int getPredNodeCount(IExplodedBasicBlock bb)
                     throws IllegalArgumentException

Specified by:

getPredNodeCount in interface com.ibm.wala.util.graph.EdgeManager<IExplodedBasicBlock>

Throws:

IllegalArgumentException

getPredNodes

public Iterator<IExplodedBasicBlock> getPredNodes(IExplodedBasicBlock bb)
                                           throws IllegalArgumentException

Specified by:

getPredNodes in interface com.ibm.wala.util.graph.EdgeManager<IExplodedBasicBlock>

Throws:

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 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 UnsupportedOperationException

Specified by:

removeAllIncidentEdges in interface com.ibm.wala.util.graph.EdgeManager<IExplodedBasicBlock>

Throws:

UnsupportedOperationException

removeEdge

public void removeEdge(IExplodedBasicBlock src,
              IExplodedBasicBlock dst)
                throws UnsupportedOperationException

Specified by:

removeEdge in interface com.ibm.wala.util.graph.EdgeManager<IExplodedBasicBlock>

Throws:

UnsupportedOperationException

removeIncomingEdges

public void removeIncomingEdges(IExplodedBasicBlock node)
                         throws UnsupportedOperationException

Specified by:

removeIncomingEdges in interface com.ibm.wala.util.graph.EdgeManager<IExplodedBasicBlock>

Throws:

UnsupportedOperationException

removeOutgoingEdges

public void removeOutgoingEdges(IExplodedBasicBlock node)
                         throws UnsupportedOperationException

Specified by:

removeOutgoingEdges in interface com.ibm.wala.util.graph.EdgeManager<IExplodedBasicBlock>

Throws:

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 IllegalArgumentException

Specified by:

getNumber in interface com.ibm.wala.util.graph.NumberedNodeManager<IExplodedBasicBlock>

Throws:

IllegalArgumentException

iterateNodes

public 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 String toString()

Overrides:

toString in class Object

getIR

public IR getIR()