com.ibm.wala.ipa.slicer

Class PDG

java.lang.Object

com.ibm.wala.ipa.slicer.PDG

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>, Iterable<Statement>

public class PDG
extends 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 BEGIN Custom change: control deps

Constructor Summary

Constructors

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

Method Summary

Methods

Modifier and Type	Method and Description
void	addEdge(Statement src, Statement dst)
void	addNode(Statement n)
static Map<SSAInstruction,Integer>	computeInstructionIndices(IR ir)
boolean	containsNode(Statement N)
boolean	equals(Object obj)
Set<Statement>	getCallerParamStatements(SSAAbstractInvokeInstruction call) return the set of all PARAM_CALLER and HEAP_PARAM_CALLER statements associated with a given call
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()
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)
Iterator<Statement>	getPredNodes(Statement N)
Statement[]	getReturnStatements()
int	getSuccNodeCount(Statement N)
com.ibm.wala.util.intset.IntSet	getSuccNodeNumbers(Statement node)
Iterator<Statement>	getSuccNodes(Statement N)
boolean	hasEdge(Statement src, Statement dst)
int	hashCode()
boolean	isControlDependend(Statement from, Statement to) BEGIN Custom change: control deps
Iterator<Statement>	iterateNodes(com.ibm.wala.util.intset.IntSet s)
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, Map<SSAInstruction,Integer> instructionIndices, IR ir)
String	toString()

Methods inherited from class java.lang.Object

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

Constructor Detail

PDG

public PDG(CGNode node,
   PointerAnalysis<InstanceKey> pa,
   Map<CGNode,com.ibm.wala.util.intset.OrdinalSet<PointerKey>> mod,
   Map<CGNode,com.ibm.wala.util.intset.OrdinalSet<PointerKey>> ref,
   Slicer.DataDependenceOptions dOptions,
   Slicer.ControlDependenceOptions cOptions,
   HeapExclusions exclusions,
   CallGraph cg,
   ModRef 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:

IllegalArgumentException - if node is null

PDG

public PDG(CGNode node,
   PointerAnalysis<InstanceKey> pa,
   Map<CGNode,com.ibm.wala.util.intset.OrdinalSet<PointerKey>> mod,
   Map<CGNode,com.ibm.wala.util.intset.OrdinalSet<PointerKey>> ref,
   Slicer.DataDependenceOptions dOptions,
   Slicer.ControlDependenceOptions cOptions,
   HeapExclusions exclusions,
   CallGraph cg,
   ModRef 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:

IllegalArgumentException - if node is null

Method Detail

getCallerParamStatements

public Set<Statement> getCallerParamStatements(SSAAbstractInvokeInstruction call)
                                        throws IllegalArgumentException

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

Throws:

IllegalArgumentException

getCallStatements

public Set<Statement> getCallStatements(SSAAbstractInvokeInstruction call)
                                 throws 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:

IllegalArgumentException

getCallerReturnStatements

public Set<Statement> getCallerReturnStatements(SSAAbstractInvokeInstruction call)
                                         throws IllegalArgumentException

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

Throws:

IllegalArgumentException

ssaInstruction2Statement

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

computeInstructionIndices

public static Map<SSAInstruction,Integer> computeInstructionIndices(IR ir)

Returns:

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

toString

public String toString()

Overrides:

toString in class Object

getParamCalleeStatements

public Statement[] getParamCalleeStatements()

getReturnStatements

public Statement[] getReturnStatements()

getCallGraphNode

public CGNode getCallGraphNode()

equals

public boolean equals(Object obj)

Overrides:

equals in class Object

hashCode

public int hashCode()

Overrides:

hashCode in class 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 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 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 UnsupportedOperationException

Specified by:

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

Throws:

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

Specified by:

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

Specified by:

iterator in interface Iterable<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 UnsupportedOperationException

Specified by:

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

Throws:

UnsupportedOperationException

removeEdge

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

Specified by:

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

Throws:

UnsupportedOperationException

removeIncomingEdges

public void removeIncomingEdges(Statement node)
                         throws UnsupportedOperationException

Specified by:

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

Throws:

UnsupportedOperationException

removeOutgoingEdges

public void removeOutgoingEdges(Statement node)
                         throws UnsupportedOperationException

Specified by:

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

Throws:

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

BEGIN Custom change: control deps