Package com.ibm.wala.ipa.slicer
Class HeapReachingDefs<T extends InstanceKey>
- java.lang.Object
-
- com.ibm.wala.ipa.slicer.HeapReachingDefs<T>
-
public class HeapReachingDefs<T extends InstanceKey> extends Object
Computation of reaching definitions for heap locations, relying on pointer analysis
-
-
Constructor Summary
Constructors Constructor Description HeapReachingDefs(ModRef modRef, ExtendedHeapModel heapModel)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description Map<Statement,OrdinalSet<Statement>>computeReachingDefs(CGNode node, IR ir, PointerAnalysis<T> pa, Map<CGNode,OrdinalSet<PointerKey>> mod, Collection<Statement> statements, HeapExclusions exclusions, CallGraph cg)For each statement s, return the set of statements that may def the heap value read by s.
-
-
-
Constructor Detail
-
HeapReachingDefs
public HeapReachingDefs(ModRef modRef, ExtendedHeapModel heapModel)
-
-
Method Detail
-
computeReachingDefs
public Map<Statement,OrdinalSet<Statement>> computeReachingDefs(CGNode node, IR ir, PointerAnalysis<T> pa, Map<CGNode,OrdinalSet<PointerKey>> mod, Collection<Statement> statements, HeapExclusions exclusions, CallGraph cg)
For each statement s, return the set of statements that may def the heap value read by s.- Parameters:
node- the node we are computing heap reaching defs forir- IR for the nodepa- governing pointer analysismod- the set of heap locations which may be written (transitively) by this node. These are logically return values in the SDG.statements- the statements whose def-use are considered interestingexclusions- heap locations that should be excluded from data dependence tracking- Throws:
IllegalArgumentException- if pa is nullIllegalArgumentException- if statements is null
-
-