com.ibm.wala.ipa.slicer

Class HeapReachingDefs

java.lang.Object

com.ibm.wala.ipa.slicer.HeapReachingDefs

public class HeapReachingDefs
extends Object

Computation of reaching definitions for heap locations, relying on pointer analysis

Constructor Summary

Constructors

Constructor and Description
HeapReachingDefs(ModRef modRef, ExtendedHeapModel heapModel)

Method Summary

Methods

Modifier and Type	Method and Description
Map<Statement,com.ibm.wala.util.intset.OrdinalSet<Statement>>	computeReachingDefs(CGNode node, IR ir, PointerAnalysis<InstanceKey> pa, Map<CGNode,com.ibm.wala.util.intset.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.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

HeapReachingDefs

public HeapReachingDefs(ModRef modRef,
                ExtendedHeapModel heapModel)

Method Detail

computeReachingDefs

public Map<Statement,com.ibm.wala.util.intset.OrdinalSet<Statement>> computeReachingDefs(CGNode node,
                                                                                IR ir,
                                                                                PointerAnalysis<InstanceKey> pa,
                                                                                Map<CGNode,com.ibm.wala.util.intset.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