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