com.ibm.wala.ipa.modref

Class ModRef

java.lang.Object

com.ibm.wala.ipa.modref.ModRef

public class ModRef
extends Object

Mod-ref analysis for heap locations. For each call graph node, what heap locations (as determined by a heap model) may it read or write, including it's callees transitively

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
protected static class	ModRef.ModVisitor<H extends ExtendedHeapModel>
protected static class	ModRef.RefVisitor<H extends ExtendedHeapModel>

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	ModRef()

Method Summary

Methods

Modifier and Type	Method and Description
Map<CGNode,com.ibm.wala.util.intset.OrdinalSet<PointerKey>>	computeMod(CallGraph cg, PointerAnalysis<InstanceKey> pa) For each call graph node, what heap locations (as determined by a heap model) may it write, including its callees transitively
Map<CGNode,com.ibm.wala.util.intset.OrdinalSet<PointerKey>>	computeMod(CallGraph cg, PointerAnalysis<InstanceKey> pa, HeapExclusions heapExclude) For each call graph node, what heap locations (as determined by a heap model) may it write, including its callees transitively
Map<CGNode,com.ibm.wala.util.intset.OrdinalSet<PointerKey>>	computeRef(CallGraph cg, PointerAnalysis<InstanceKey> pa) For each call graph node, what heap locations (as determined by a heap model) may it read, including its callees transitively
Map<CGNode,com.ibm.wala.util.intset.OrdinalSet<PointerKey>>	computeRef(CallGraph cg, PointerAnalysis<InstanceKey> pa, HeapExclusions heapExclude) For each call graph node, what heap locations (as determined by a heap model) may it read, including its callees transitively
Set<PointerKey>	getMod(CGNode n, ExtendedHeapModel h, PointerAnalysis<InstanceKey> pa, SSAInstruction s, HeapExclusions hexcl) Compute the set of PointerKeys that represent pointers that instruction s may write to.
Set<PointerKey>	getMod(CGNode n, ExtendedHeapModel h, PointerAnalysis<InstanceKey> pa, SSAInstruction s, HeapExclusions hexcl, boolean ignoreAllocHeapDefs) Compute the set of PointerKeys that represent pointers that instruction s may write to.
Set<PointerKey>	getRef(CGNode n, ExtendedHeapModel h, PointerAnalysis<InstanceKey> pa, SSAInstruction s, HeapExclusions hexcl) Compute the set of PointerKeys that represent pointers that instruction s may read.
static ModRef	make()
ExtendedHeapModel	makeHeapModel(PointerAnalysis<InstanceKey> pa)
protected ModRef.ModVisitor	makeModVisitor(CGNode n, Collection<PointerKey> result, PointerAnalysis<InstanceKey> pa, ExtendedHeapModel h)
protected ModRef.ModVisitor	makeModVisitor(CGNode n, Collection<PointerKey> result, PointerAnalysis<InstanceKey> pa, ExtendedHeapModel h, boolean ignoreAllocHeapDefs)
protected ModRef.RefVisitor	makeRefVisitor(CGNode n, Collection<PointerKey> result, PointerAnalysis<InstanceKey> pa, ExtendedHeapModel h)

Methods inherited from class java.lang.Object

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

Constructor Detail

ModRef

protected ModRef()

Method Detail

make

public static ModRef make()

computeMod

public Map<CGNode,com.ibm.wala.util.intset.OrdinalSet<PointerKey>> computeMod(CallGraph cg,
                                                                     PointerAnalysis<InstanceKey> pa,
                                                                     HeapExclusions heapExclude)

For each call graph node, what heap locations (as determined by a heap model) may it write, including its callees transitively

Throws:

IllegalArgumentException - if cg is null

computeRef

public Map<CGNode,com.ibm.wala.util.intset.OrdinalSet<PointerKey>> computeRef(CallGraph cg,
                                                                     PointerAnalysis<InstanceKey> pa,
                                                                     HeapExclusions heapExclude)

For each call graph node, what heap locations (as determined by a heap model) may it read, including its callees transitively

Throws:

IllegalArgumentException - if cg is null

computeMod

public Map<CGNode,com.ibm.wala.util.intset.OrdinalSet<PointerKey>> computeMod(CallGraph cg,
                                                                     PointerAnalysis<InstanceKey> pa)

For each call graph node, what heap locations (as determined by a heap model) may it write, including its callees transitively

computeRef

public Map<CGNode,com.ibm.wala.util.intset.OrdinalSet<PointerKey>> computeRef(CallGraph cg,
                                                                     PointerAnalysis<InstanceKey> pa)

For each call graph node, what heap locations (as determined by a heap model) may it read, including its callees transitively

makeHeapModel

public ExtendedHeapModel makeHeapModel(PointerAnalysis<InstanceKey> pa)

makeModVisitor

protected ModRef.ModVisitor makeModVisitor(CGNode n,
                               Collection<PointerKey> result,
                               PointerAnalysis<InstanceKey> pa,
                               ExtendedHeapModel h)

makeModVisitor

protected ModRef.ModVisitor makeModVisitor(CGNode n,
                               Collection<PointerKey> result,
                               PointerAnalysis<InstanceKey> pa,
                               ExtendedHeapModel h,
                               boolean ignoreAllocHeapDefs)

getMod

public Set<PointerKey> getMod(CGNode n,
                     ExtendedHeapModel h,
                     PointerAnalysis<InstanceKey> pa,
                     SSAInstruction s,
                     HeapExclusions hexcl)

Compute the set of PointerKeys that represent pointers that instruction s may write to.

getMod

public Set<PointerKey> getMod(CGNode n,
                     ExtendedHeapModel h,
                     PointerAnalysis<InstanceKey> pa,
                     SSAInstruction s,
                     HeapExclusions hexcl,
                     boolean ignoreAllocHeapDefs)

Compute the set of PointerKeys that represent pointers that instruction s may write to.

makeRefVisitor

protected ModRef.RefVisitor makeRefVisitor(CGNode n,
                               Collection<PointerKey> result,
                               PointerAnalysis<InstanceKey> pa,
                               ExtendedHeapModel h)

getRef

public Set<PointerKey> getRef(CGNode n,
                     ExtendedHeapModel h,
                     PointerAnalysis<InstanceKey> pa,
                     SSAInstruction s,
                     HeapExclusions hexcl)

Compute the set of PointerKeys that represent pointers that instruction s may read.