Uses of Class
com.ibm.wala.ipa.slicer.SDG

Packages that use SDG

Package	Description
com.ibm.wala.demandpa.util
com.ibm.wala.ipa.slicer
com.ibm.wala.ipa.slicer.thin

Uses of SDG in com.ibm.wala.demandpa.util

Constructors in com.ibm.wala.demandpa.util with parameters of type SDG

Constructor and Description
PABasedMemoryAccessMap(CallGraph cg, PointerAnalysis<InstanceKey> pa, SDG sdg)

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

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

Modifier and Type	Method and Description
static Collection<Statement>	Slicer.computeBackwardSlice(SDG sdg, Collection<Statement> ss) Use the passed-in SDG
static Collection<Statement>	Slicer.computeBackwardSlice(SDG sdg, Statement s) Use the passed-in SDG
static Collection<Statement>	Slicer.computeForwardSlice(SDG sdg, Statement s) Use the passed-in SDG
protected static Collection<Statement>	Slicer.computeSlice(SDG sdg, Collection<Statement> ss, boolean backward)
Collection<Statement>	Slicer.slice(SDG sdg, Collection<Statement> roots, boolean backward) Main driver logic.

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

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

Modifier and Type	Method and Description
static Map<Statement,Set<PointerKey>>	CISlicer.scanForMod(SDG sdg, PointerAnalysis<InstanceKey> pa) Compute the set of pointer keys each statement mods
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) Compute the set of pointer keys each statement refs
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 SDG

Constructor and Description
CISDG(SDG noHeap, Map<Statement,Set<PointerKey>> mod, Map<Statement,Set<PointerKey>> ref)
CISlicer(SDG sdg, PointerAnalysis<InstanceKey> pa, ModRef modRef)