Class CISlicer

  • Direct Known Subclasses:
    ThinSlicer

    public class CISlicer
    extends Object
    A cheap, context-insensitive 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.