Class ThinSlicer

java.lang.Object

com.ibm.wala.ipa.slicer.thin.CISlicer

com.ibm.wala.ipa.slicer.thin.ThinSlicer

public class ThinSlicer
extends CISlicer

A cheap, context-insensitive thin slicer based on reachability over a custom SDG.

This is a prototype implementation; not tuned.

Currently supports backward slices only.

TODO: Introduce a slicer interface common between this and the CS slicer. TODO: This hasn't been tested much. Need regression tests.

Constructor Summary

Constructors

Constructor	Description
ThinSlicer(CallGraph cg, PointerAnalysis<InstanceKey> pa)
ThinSlicer(CallGraph cg, PointerAnalysis<InstanceKey> pa, ModRef<InstanceKey> modRef)

Method Summary

Methods inherited from class CISlicer

computeBackwardThinSlice, computeBackwardThinSlice, scanForMod, scanForMod, scanForMod, scanForRef, scanForRef

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

Methods inherited from class Object

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

Constructor Details

ThinSlicer

public ThinSlicer(CallGraph cg,
 PointerAnalysis<InstanceKey> pa)

ThinSlicer

public ThinSlicer(CallGraph cg,
 PointerAnalysis<InstanceKey> pa,
 ModRef<InstanceKey> modRef)