Class 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.