Package com.ibm.wala.ipa.cfg
Class PrunedCFG<I,T extends IBasicBlock<I>>
- java.lang.Object
-
- com.ibm.wala.util.graph.AbstractGraph<T>
-
- com.ibm.wala.util.graph.AbstractNumberedGraph<T>
-
- com.ibm.wala.ipa.cfg.PrunedCFG<I,T>
-
- All Implemented Interfaces:
ControlFlowGraph<I,T>
,EdgeManager<T>
,Graph<T>
,NodeManager<T>
,NumberedEdgeManager<T>
,NumberedGraph<T>
,NumberedNodeManager<T>
,Iterable<T>
public class PrunedCFG<I,T extends IBasicBlock<I>> extends AbstractNumberedGraph<T> implements ControlFlowGraph<I,T>
A pruned view of aControlFlowGraph
. Use this class along with anEdgeFilter
to produce a custom view of a CFG. For example, you can use this class to produce a CFG view that ignores certain types of exceptional edges.
-
-
Method Summary
All Methods Static Methods Instance Methods Concrete Methods Modifier and Type Method Description T
entry()
Return the entry basic block in the CFGT
exit()
T
getBlockForInstruction(int index)
BitVector
getCatchBlocks()
protected NumberedEdgeManager<T>
getEdgeManager()
Collection<T>
getExceptionalPredecessors(T N)
The order of blocks returned should be arbitrary but deterministic.List<T>
getExceptionalSuccessors(T N)
The order of blocks returned must indicate the exception-handling scope.I[]
getInstructions()
IMethod
getMethod()
protected NumberedNodeManager<T>
getNodeManager()
Collection<T>
getNormalPredecessors(T N)
The order of blocks returned should be arbitrary but deterministic.Collection<T>
getNormalSuccessors(T N)
The order of blocks returned should be arbitrary but deterministic.IntSet
getPhiIndices(T bb)
int
getProgramCounter(int index)
TODO: move this into IR?static <I,T extends IBasicBlock<I>>
PrunedCFG<I,T>make(ControlFlowGraph<I,T> cfg, EdgeFilter<T> filter)
-
Methods inherited from class com.ibm.wala.util.graph.AbstractNumberedGraph
getMaxNumber, getNode, getNumber, getPredNodeNumbers, getSuccNodeNumbers, iterateNodes
-
Methods inherited from class com.ibm.wala.util.graph.AbstractGraph
addEdge, addNode, containsNode, getNumberOfNodes, getPredNodeCount, getPredNodes, getSuccNodeCount, getSuccNodes, hasEdge, iterator, removeAllIncidentEdges, removeEdge, removeIncomingEdges, removeNode, removeNodeAndEdges, removeOutgoingEdges, toString
-
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
-
Methods inherited from interface com.ibm.wala.util.graph.EdgeManager
addEdge, getPredNodeCount, getPredNodes, getSuccNodeCount, getSuccNodes, hasEdge, removeAllIncidentEdges, removeEdge, removeIncomingEdges, removeOutgoingEdges
-
Methods inherited from interface com.ibm.wala.util.graph.Graph
removeNodeAndEdges
-
Methods inherited from interface java.lang.Iterable
forEach, spliterator
-
Methods inherited from interface com.ibm.wala.util.graph.NodeManager
addNode, containsNode, getNumberOfNodes, iterator, removeNode
-
Methods inherited from interface com.ibm.wala.util.graph.NumberedEdgeManager
getPredNodeNumbers, getSuccNodeNumbers
-
Methods inherited from interface com.ibm.wala.util.graph.NumberedNodeManager
getMaxNumber, getNode, getNumber, iterateNodes
-
-
-
-
Method Detail
-
make
public static <I,T extends IBasicBlock<I>> PrunedCFG<I,T> make(ControlFlowGraph<I,T> cfg, EdgeFilter<T> filter)
- Parameters:
cfg
- the original CFG that you want a view offilter
- an object that selectively filters edges in the original CFG- Returns:
- a view of cfg that includes only edges accepted by the filter.
- Throws:
IllegalArgumentException
- if cfg is null
-
getNodeManager
protected NumberedNodeManager<T> getNodeManager()
- Specified by:
getNodeManager
in classAbstractNumberedGraph<T extends IBasicBlock<I>>
- Returns:
- the object which manages nodes in the graph
-
getEdgeManager
protected NumberedEdgeManager<T> getEdgeManager()
- Specified by:
getEdgeManager
in classAbstractNumberedGraph<T extends IBasicBlock<I>>
- Returns:
- the object which manages edges in the graph
-
getExceptionalSuccessors
public List<T> getExceptionalSuccessors(T N)
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 interfaceControlFlowGraph<I,T extends IBasicBlock<I>>
- Returns:
- the basic blocks which may be reached from b via exceptional control flow
-
getNormalSuccessors
public Collection<T> getNormalSuccessors(T N)
Description copied from interface:ControlFlowGraph
The order of blocks returned should be arbitrary but deterministic.- Specified by:
getNormalSuccessors
in interfaceControlFlowGraph<I,T extends IBasicBlock<I>>
- Returns:
- the basic blocks which may be reached from b via normal control flow
-
getExceptionalPredecessors
public Collection<T> getExceptionalPredecessors(T N)
Description copied from interface:ControlFlowGraph
The order of blocks returned should be arbitrary but deterministic.- Specified by:
getExceptionalPredecessors
in interfaceControlFlowGraph<I,T extends IBasicBlock<I>>
- Returns:
- the basic blocks from which b may be reached via exceptional control flow
-
getNormalPredecessors
public Collection<T> getNormalPredecessors(T N)
Description copied from interface:ControlFlowGraph
The order of blocks returned should be arbitrary but deterministic.- Specified by:
getNormalPredecessors
in interfaceControlFlowGraph<I,T extends IBasicBlock<I>>
- Returns:
- the basic blocks from which b may be reached via normal control flow
-
entry
public T entry()
Description copied from interface:ControlFlowGraph
Return the entry basic block in the CFG- Specified by:
entry
in interfaceControlFlowGraph<I,T extends IBasicBlock<I>>
-
exit
public T exit()
- Specified by:
exit
in interfaceControlFlowGraph<I,T extends IBasicBlock<I>>
- Returns:
- the synthetic exit block for the cfg
-
getBlockForInstruction
public T getBlockForInstruction(int index)
- Specified by:
getBlockForInstruction
in interfaceControlFlowGraph<I,T extends IBasicBlock<I>>
- Parameters:
index
- an instruction index- Returns:
- the basic block which contains this instruction.
-
getInstructions
public I[] getInstructions()
- Specified by:
getInstructions
in interfaceControlFlowGraph<I,T extends IBasicBlock<I>>
- Returns:
- the instructions of this CFG, as an array.
-
getProgramCounter
public int getProgramCounter(int index)
Description copied from interface:ControlFlowGraph
TODO: move this into IR?- Specified by:
getProgramCounter
in interfaceControlFlowGraph<I,T extends IBasicBlock<I>>
- Parameters:
index
- an instruction index- Returns:
- the program counter (bytecode index) corresponding to that instruction
-
getMethod
public IMethod getMethod()
- Specified by:
getMethod
in interfaceControlFlowGraph<I,T extends IBasicBlock<I>>
- Returns:
- the Method this CFG represents
-
getCatchBlocks
public BitVector getCatchBlocks()
- Specified by:
getCatchBlocks
in interfaceControlFlowGraph<I,T extends IBasicBlock<I>>
- Returns:
- the indices of the catch blocks, as a bit vector
-
-