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 java.lang.Object

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

Constructor Summary

Constructors

Constructor and Description
HeapReachingDefs(ModRef<T> modRef, ExtendedHeapModel heapModel)

Method Summary

Modifier and Type	Method and Description
java.util.Map<Statement,com.ibm.wala.util.intset.OrdinalSet<Statement>>	computeReachingDefs(CGNode node, IR ir, PointerAnalysis<T> pa, java.util.Map<CGNode,com.ibm.wala.util.intset.OrdinalSet<PointerKey>> mod, java.util.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<T> modRef,
                        ExtendedHeapModel heapModel)

Method Detail

computeReachingDefs

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

java.lang.IllegalArgumentException - if pa is null

java.lang.IllegalArgumentException - if statements is null