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 Details
- HeapReachingDefs
  
  public HeapReachingDefs(ModRef<T> modRef, ExtendedHeapModel heapModel)
Method Details
- 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 for
  
  ir - IR for the node
  
  pa - governing pointer analysis
  
  mod - 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 interesting
  
  exclusions - heap locations that should be excluded from data dependence tracking
  
  Throws:
  
  IllegalArgumentException - if pa is null
  
  IllegalArgumentException - if statements is null

Class HeapReachingDefs<T extends InstanceKey>

Constructor Summary