Class Slicer

java.lang.Object
com.ibm.wala.ipa.slicer.Slicer

public class Slicer extends Object
A demand-driven context-sensitive slicer.

This computes a context-sensitive slice, building an SDG and finding realizable paths to a statement using tabulation.

This implementation uses a preliminary pointer analysis to compute data dependence between heap locations in the SDG.