Package com.ibm.wala.ipa.slicer.thin
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 modRef)
-
Method Summary
-
Methods inherited from class com.ibm.wala.ipa.slicer.thin.CISlicer
computeBackwardThinSlice, computeBackwardThinSlice, scanForMod, scanForMod, scanForMod, scanForRef, scanForRef
-
-
-
-
Constructor Detail
-
ThinSlicer
public ThinSlicer(CallGraph cg, PointerAnalysis<InstanceKey> pa)
-
ThinSlicer
public ThinSlicer(CallGraph cg, PointerAnalysis<InstanceKey> pa, ModRef modRef)
-
-