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