| Class | Description |
|---|---|
| CISDG |
A context-insensitive SDG.
|
| CISlicer |
A cheap, context-insensitive slicer based on reachability over a custom SDG.
|
| ThinSlicer |
A cheap, context-insensitive thin slicer based on reachability over a custom SDG.
|
Copyright © 2019. All rights reserved.