Uses of Class
com.ibm.wala.ipa.modref.ModRef

Packages that use ModRef

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

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

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

Modifier and Type	Method and Description
static ModRef	ModRef.make()

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

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

Constructor and Description
HeapReachingDefs(ModRef modRef, ExtendedHeapModel heapModel)
PDG(CGNode node, PointerAnalysis<InstanceKey> pa, Map<CGNode,com.ibm.wala.util.intset.OrdinalSet<PointerKey>> mod, Map<CGNode,com.ibm.wala.util.intset.OrdinalSet<PointerKey>> ref, Slicer.DataDependenceOptions dOptions, Slicer.ControlDependenceOptions cOptions, HeapExclusions exclusions, CallGraph cg, ModRef modRef)
PDG(CGNode node, PointerAnalysis<InstanceKey> pa, Map<CGNode,com.ibm.wala.util.intset.OrdinalSet<PointerKey>> mod, Map<CGNode,com.ibm.wala.util.intset.OrdinalSet<PointerKey>> ref, Slicer.DataDependenceOptions dOptions, Slicer.ControlDependenceOptions cOptions, HeapExclusions exclusions, CallGraph cg, ModRef modRef, boolean ignoreAllocHeapDefs)
SDG(CallGraph cg, PointerAnalysis<InstanceKey> pa, ModRef modRef, Slicer.DataDependenceOptions dOptions, Slicer.ControlDependenceOptions cOptions)
SDG(CallGraph cg, PointerAnalysis<InstanceKey> pa, ModRef modRef, Slicer.DataDependenceOptions dOptions, Slicer.ControlDependenceOptions cOptions, HeapExclusions heapExclude)

Uses of ModRef in com.ibm.wala.ipa.slicer.thin

Methods in com.ibm.wala.ipa.slicer.thin with parameters of type ModRef

Modifier and Type	Method and Description
static Map<Statement,Set<PointerKey>>	CISlicer.scanForMod(SDG sdg, PointerAnalysis<InstanceKey> pa, boolean ignoreAllocHeapDefs, ModRef modRef) Compute the set of pointer keys each statement mods.
static Map<Statement,Set<PointerKey>>	CISlicer.scanForMod(SDG sdg, PointerAnalysis<InstanceKey> pa, ModRef modRef) Compute the set of pointer keys each statement mods
static Map<Statement,Set<PointerKey>>	CISlicer.scanForRef(SDG sdg, PointerAnalysis<InstanceKey> pa, ModRef modRef) Compute the set of PointerKeys each statement refs.Be careful to avoid eager PDG construction here! That means ..

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

Constructor and Description
CISlicer(CallGraph cg, PointerAnalysis<InstanceKey> pa, ModRef modRef, Slicer.DataDependenceOptions dOptions, Slicer.ControlDependenceOptions cOptions)
CISlicer(SDG sdg, PointerAnalysis<InstanceKey> pa, ModRef modRef)
ThinSlicer(CallGraph cg, PointerAnalysis<InstanceKey> pa, ModRef modRef)