HeapReachingDefs

public HeapReachingDefs(ModRef modRef,
                        ExtendedHeapModel heapModel)

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)

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