Package com.tonic.analysis.pdg.slice
Slicing over a program dependence graph.
-
Class Summary Class Description PDGSlicer Intraprocedural slicer over a program dependence graph.SliceResult The nodes and edges reached by a program slice, together with the criterion it was taken from. -
Enum Summary Enum Description SliceResult.SliceType Direction a slice was taken in.