com.ibm.wala.ipa.slicer

Class PDG<T extends InstanceKey>

java.lang.Object

com.ibm.wala.ipa.slicer.PDG<T>

All Implemented Interfaces:

com.ibm.wala.util.graph.EdgeManager<Statement>, com.ibm.wala.util.graph.Graph<Statement>, com.ibm.wala.util.graph.NodeManager<Statement>, com.ibm.wala.util.graph.NumberedEdgeManager<Statement>, com.ibm.wala.util.graph.NumberedGraph<Statement>, com.ibm.wala.util.graph.NumberedNodeManager<Statement>, java.lang.Iterable<Statement>

public class PDG<T extends InstanceKey>
extends java.lang.Object
implements com.ibm.wala.util.graph.NumberedGraph<Statement>

Program dependence graph for a single call graph node

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
static class	PDG.Dependency

Constructor Summary

Constructors

Constructor and Description
PDG(CGNode node, PointerAnalysis<T> pa, java.util.Map<CGNode,com.ibm.wala.util.intset.OrdinalSet<PointerKey>> mod, java.util.Map<CGNode,com.ibm.wala.util.intset.OrdinalSet<PointerKey>> ref, Slicer.DataDependenceOptions dOptions, Slicer.ControlDependenceOptions cOptions, HeapExclusions exclusions, CallGraph cg, ModRef<T> modRef)
PDG(CGNode node, PointerAnalysis<T> pa, java.util.Map<CGNode,com.ibm.wala.util.intset.OrdinalSet<PointerKey>> mod, java.util.Map<CGNode,com.ibm.wala.util.intset.OrdinalSet<PointerKey>> ref, Slicer.DataDependenceOptions dOptions, Slicer.ControlDependenceOptions cOptions, HeapExclusions exclusions, CallGraph cg, ModRef<T> modRef, boolean ignoreAllocHeapDefs)

Method Summary

Modifier and Type	Method and Description
void	addEdge(Statement src, Statement dst)
void	addNode(Statement n)
static java.util.Map<SSAInstruction,java.lang.Integer>	computeInstructionIndices(IR ir)
boolean	containsNode(Statement N)
boolean	equals(java.lang.Object obj)
java.util.Set<Statement>	getCallerParamStatements(SSAAbstractInvokeInstruction call) return the set of all PARAM_CALLER and HEAP_PARAM_CALLER statements associated with a given call
java.util.Set<Statement>	getCallerReturnStatements(SSAAbstractInvokeInstruction call) return the set of all NORMAL_RETURN_CALLER and HEAP_RETURN_CALLER statements associated with a given call.
CGNode	getCallGraphNode()
java.util.Set<Statement>	getCallStatements(SSAAbstractInvokeInstruction call) return the set of all PARAM_CALLER, HEAP_PARAM_CALLER, and NORMAL statements (i.e., the actual call statement) associated with a given call
int	getMaxNumber()
Statement	getNode(int number)
int	getNumber(Statement N)
int	getNumberOfNodes()
Statement[]	getParamCalleeStatements()
int	getPredNodeCount(Statement N)
com.ibm.wala.util.intset.IntSet	getPredNodeNumbers(Statement node)
java.util.Iterator<Statement>	getPredNodes(Statement N)
Statement[]	getReturnStatements()
int	getSuccNodeCount(Statement N)
com.ibm.wala.util.intset.IntSet	getSuccNodeNumbers(Statement node)
java.util.Iterator<Statement>	getSuccNodes(Statement N)
boolean	hasEdge(Statement src, Statement dst)
int	hashCode()
boolean	isControlDependend(Statement from, Statement to)
java.util.Iterator<Statement>	iterateNodes(com.ibm.wala.util.intset.IntSet s)
java.util.Iterator<Statement>	iterator()
void	removeAllIncidentEdges(Statement node)
void	removeEdge(Statement src, Statement dst)
void	removeIncomingEdges(Statement node)
void	removeNode(Statement n)
void	removeNodeAndEdges(Statement N)
void	removeOutgoingEdges(Statement node)
static Statement	ssaInstruction2Statement(CGNode node, SSAInstruction s, java.util.Map<SSAInstruction,java.lang.Integer> instructionIndices, IR ir)
java.util.stream.Stream<Statement>	stream()
java.lang.String	toString()

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Methods inherited from interface java.lang.Iterable

forEach, spliterator

Constructor Detail

PDG

public PDG(CGNode node,
           PointerAnalysis<T> pa,
           java.util.Map<CGNode,com.ibm.wala.util.intset.OrdinalSet<PointerKey>> mod,
           java.util.Map<CGNode,com.ibm.wala.util.intset.OrdinalSet<PointerKey>> ref,
           Slicer.DataDependenceOptions dOptions,
           Slicer.ControlDependenceOptions cOptions,
           HeapExclusions exclusions,
           CallGraph cg,
           ModRef<T> modRef)

Parameters:

mod - the set of heap locations which may be written (transitively) by this node. These are logically return values in the SDG.

ref - the set of heap locations which may be read (transitively) by this node. These are logically parameters in the SDG.

Throws:

java.lang.IllegalArgumentException - if node is null

PDG

public PDG(CGNode node,
           PointerAnalysis<T> pa,
           java.util.Map<CGNode,com.ibm.wala.util.intset.OrdinalSet<PointerKey>> mod,
           java.util.Map<CGNode,com.ibm.wala.util.intset.OrdinalSet<PointerKey>> ref,
           Slicer.DataDependenceOptions dOptions,
           Slicer.ControlDependenceOptions cOptions,
           HeapExclusions exclusions,
           CallGraph cg,
           ModRef<T> modRef,
           boolean ignoreAllocHeapDefs)

Parameters:

mod - the set of heap locations which may be written (transitively) by this node. These are logically return values in the SDG.

ref - the set of heap locations which may be read (transitively) by this node. These are logically parameters in the SDG.

Throws:

java.lang.IllegalArgumentException - if node is null

Method Detail

getCallerParamStatements

public java.util.Set<Statement> getCallerParamStatements(SSAAbstractInvokeInstruction call)
                                                  throws java.lang.IllegalArgumentException

return the set of all PARAM_CALLER and HEAP_PARAM_CALLER statements associated with a given call

Throws:

java.lang.IllegalArgumentException

getCallStatements

public java.util.Set<Statement> getCallStatements(SSAAbstractInvokeInstruction call)
                                           throws java.lang.IllegalArgumentException

return the set of all PARAM_CALLER, HEAP_PARAM_CALLER, and NORMAL statements (i.e., the actual call statement) associated with a given call

Throws:

java.lang.IllegalArgumentException

getCallerReturnStatements

public java.util.Set<Statement> getCallerReturnStatements(SSAAbstractInvokeInstruction call)
                                                   throws java.lang.IllegalArgumentException

return the set of all NORMAL_RETURN_CALLER and HEAP_RETURN_CALLER statements associated with a given call.

Throws:

java.lang.IllegalArgumentException

ssaInstruction2Statement

public static Statement ssaInstruction2Statement(CGNode node,
                                                 SSAInstruction s,
                                                 java.util.Map<SSAInstruction,java.lang.Integer> instructionIndices,
                                                 IR ir)

computeInstructionIndices

public static java.util.Map<SSAInstruction,java.lang.Integer> computeInstructionIndices(IR ir)

Returns:

for each SSAInstruction, its instruction index in the ir instruction array

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

getParamCalleeStatements

public Statement[] getParamCalleeStatements()

getReturnStatements

public Statement[] getReturnStatements()

getCallGraphNode

public CGNode getCallGraphNode()

equals

public boolean equals(java.lang.Object obj)

Overrides:

equals in class java.lang.Object

hashCode

public int hashCode()

Overrides:

hashCode in class java.lang.Object

getPredNodeCount

public int getPredNodeCount(Statement N)
                     throws com.ibm.wala.util.debug.UnimplementedError

Specified by:

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

Throws:

com.ibm.wala.util.debug.UnimplementedError

getPredNodes

public java.util.Iterator<Statement> getPredNodes(Statement N)

Specified by:

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

getSuccNodeCount

public int getSuccNodeCount(Statement N)
                     throws com.ibm.wala.util.debug.UnimplementedError

Specified by:

getSuccNodeCount in interface com.ibm.wala.util.graph.EdgeManager<Statement>

Throws:

com.ibm.wala.util.debug.UnimplementedError

getSuccNodes

public java.util.Iterator<Statement> getSuccNodes(Statement N)

Specified by:

getSuccNodes in interface com.ibm.wala.util.graph.EdgeManager<Statement>

hasEdge

public boolean hasEdge(Statement src,
                       Statement dst)
                throws com.ibm.wala.util.debug.UnimplementedError

Specified by:

hasEdge in interface com.ibm.wala.util.graph.EdgeManager<Statement>

Throws:

com.ibm.wala.util.debug.UnimplementedError

removeNodeAndEdges

public void removeNodeAndEdges(Statement N)
                        throws java.lang.UnsupportedOperationException

Specified by:

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

Throws:

java.lang.UnsupportedOperationException

addNode

public void addNode(Statement n)

Specified by:

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

containsNode

public boolean containsNode(Statement N)

Specified by:

containsNode in interface com.ibm.wala.util.graph.NodeManager<Statement>

getNumberOfNodes

public int getNumberOfNodes()

Specified by:

getNumberOfNodes in interface com.ibm.wala.util.graph.NodeManager<Statement>

iterator

public java.util.Iterator<Statement> iterator()

Specified by:

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

Specified by:

iterator in interface java.lang.Iterable<Statement>

stream

public java.util.stream.Stream<Statement> stream()

Specified by:

stream in interface com.ibm.wala.util.graph.NodeManager<Statement>

removeNode

public void removeNode(Statement n)

Specified by:

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

addEdge

public void addEdge(Statement src,
                    Statement dst)

Specified by:

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

removeAllIncidentEdges

public void removeAllIncidentEdges(Statement node)
                            throws java.lang.UnsupportedOperationException

Specified by:

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

Throws:

java.lang.UnsupportedOperationException

removeEdge

public void removeEdge(Statement src,
                       Statement dst)
                throws java.lang.UnsupportedOperationException

Specified by:

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

Throws:

java.lang.UnsupportedOperationException

removeIncomingEdges

public void removeIncomingEdges(Statement node)
                         throws java.lang.UnsupportedOperationException

Specified by:

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

Throws:

java.lang.UnsupportedOperationException

removeOutgoingEdges

public void removeOutgoingEdges(Statement node)
                         throws java.lang.UnsupportedOperationException

Specified by:

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

Throws:

java.lang.UnsupportedOperationException

getMaxNumber

public int getMaxNumber()

Specified by:

getMaxNumber in interface com.ibm.wala.util.graph.NumberedNodeManager<Statement>

getNode

public Statement getNode(int number)

Specified by:

getNode in interface com.ibm.wala.util.graph.NumberedNodeManager<Statement>

getNumber

public int getNumber(Statement N)

Specified by:

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

iterateNodes

public java.util.Iterator<Statement> iterateNodes(com.ibm.wala.util.intset.IntSet s)

Specified by:

iterateNodes in interface com.ibm.wala.util.graph.NumberedNodeManager<Statement>

getPredNodeNumbers

public com.ibm.wala.util.intset.IntSet getPredNodeNumbers(Statement node)

Specified by:

getPredNodeNumbers in interface com.ibm.wala.util.graph.NumberedEdgeManager<Statement>

getSuccNodeNumbers

public com.ibm.wala.util.intset.IntSet getSuccNodeNumbers(Statement node)

Specified by:

getSuccNodeNumbers in interface com.ibm.wala.util.graph.NumberedEdgeManager<Statement>

isControlDependend

public boolean isControlDependend(Statement from,
                                  Statement to)