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 and Description
ThinSlicer(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

Methods inherited from class java.lang.Object

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

Constructor Detail

ThinSlicer

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

ThinSlicer

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