com.ibm.wala.ipa.modref

Class ModRef<T extends InstanceKey>

java.lang.Object

com.ibm.wala.ipa.modref.ModRef<T>

public class ModRef<T extends InstanceKey>
extends java.lang.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
static class	ModRef.ModVisitor<T extends InstanceKey,H extends ExtendedHeapModel>
static class	ModRef.RefVisitor<T extends InstanceKey,H extends ExtendedHeapModel>

Constructor Summary

Constructors

Constructor and Description
ModRef()

Method Summary

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

Methods inherited from class java.lang.Object

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

Constructor Detail

ModRef

public ModRef()

Method Detail

make

public static <U extends InstanceKey> ModRef<U> make()

computeMod

public java.util.Map<CGNode,com.ibm.wala.util.intset.OrdinalSet<PointerKey>> computeMod(CallGraph cg,
                                                                                        PointerAnalysis<T> 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:

java.lang.IllegalArgumentException - if cg is null

computeRef

public java.util.Map<CGNode,com.ibm.wala.util.intset.OrdinalSet<PointerKey>> computeRef(CallGraph cg,
                                                                                        PointerAnalysis<T> 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:

java.lang.IllegalArgumentException - if cg is null

computeMod

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

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

computeRef

public java.util.Map<CGNode,com.ibm.wala.util.intset.OrdinalSet<PointerKey>> computeRef(CallGraph cg,
                                                                                        PointerAnalysis<T> 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<T> pa)

makeModVisitor

protected ModRef.ModVisitor<T,?> makeModVisitor(CGNode n,
                                                java.util.Collection<PointerKey> result,
                                                PointerAnalysis<T> pa,
                                                ExtendedHeapModel h)

makeModVisitor

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

getMod

public java.util.Set<PointerKey> getMod(CGNode n,
                                        ExtendedHeapModel h,
                                        PointerAnalysis<T> pa,
                                        SSAInstruction s,
                                        HeapExclusions hexcl)

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

getMod

public java.util.Set<PointerKey> getMod(CGNode n,
                                        ExtendedHeapModel h,
                                        PointerAnalysis<T> 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<T,? extends ExtendedHeapModel> makeRefVisitor(CGNode n,
                                                                          java.util.Collection<PointerKey> result,
                                                                          PointerAnalysis<T> pa,
                                                                          ExtendedHeapModel h)

getRef

public java.util.Set<PointerKey> getRef(CGNode n,
                                        ExtendedHeapModel h,
                                        PointerAnalysis<T> pa,
                                        SSAInstruction s,
                                        HeapExclusions hexcl)

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