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