Uses of Interface
com.ibm.wala.ipa.modref.ExtendedHeapModel

Packages that use ExtendedHeapModel

Package	Description
com.ibm.wala.ipa.modref
com.ibm.wala.ipa.slicer

Uses of ExtendedHeapModel in com.ibm.wala.ipa.modref

Classes in com.ibm.wala.ipa.modref with type parameters of type ExtendedHeapModel

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

Classes in com.ibm.wala.ipa.modref that implement ExtendedHeapModel

Modifier and Type	Class and Description
class	DelegatingExtendedHeapModel An implementation of ExtendedHeapModel based on a normal HeapModel

Fields in com.ibm.wala.ipa.modref declared as ExtendedHeapModel

Modifier and Type	Field and Description
protected H	ModRef.RefVisitor.h
protected H	ModRef.ModVisitor.h

Methods in com.ibm.wala.ipa.modref that return ExtendedHeapModel

Modifier and Type	Method and Description
ExtendedHeapModel	ModRef.makeHeapModel(PointerAnalysis<InstanceKey> pa)

Methods in com.ibm.wala.ipa.modref with parameters of type ExtendedHeapModel

Modifier and Type	Method and Description
Set<PointerKey>	ModRef.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>	ModRef.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>	ModRef.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.
protected ModRef.ModVisitor	ModRef.makeModVisitor(CGNode n, Collection<PointerKey> result, PointerAnalysis<InstanceKey> pa, ExtendedHeapModel h)
protected ModRef.ModVisitor	ModRef.makeModVisitor(CGNode n, Collection<PointerKey> result, PointerAnalysis<InstanceKey> pa, ExtendedHeapModel h, boolean ignoreAllocHeapDefs)
protected ModRef.RefVisitor	ModRef.makeRefVisitor(CGNode n, Collection<PointerKey> result, PointerAnalysis<InstanceKey> pa, ExtendedHeapModel h)

Uses of ExtendedHeapModel in com.ibm.wala.ipa.slicer

Constructors in com.ibm.wala.ipa.slicer with parameters of type ExtendedHeapModel

Constructor and Description
HeapReachingDefs(ModRef modRef, ExtendedHeapModel heapModel)