public class ThinSlicer extends CISlicer
Constructor and Description |
---|
ThinSlicer(CallGraph cg,
PointerAnalysis<InstanceKey> pa) |
ThinSlicer(CallGraph cg,
PointerAnalysis<InstanceKey> pa,
ModRef modRef) |
computeBackwardThinSlice, computeBackwardThinSlice, scanForMod, scanForMod, scanForMod, scanForRef, scanForRef
public ThinSlicer(CallGraph cg, PointerAnalysis<InstanceKey> pa)
public ThinSlicer(CallGraph cg, PointerAnalysis<InstanceKey> pa, ModRef modRef)