Slicing plugin


Directory plugins

Section Slicing (in plugins/slicing)


Fct_slice
This module deals with slice computation.
PrintSlice
Everything needed to print the result
Register_gui
Extension of the GUI in order to support slicing visualization.
Slicing
Slicing API.
SlicingActions
selection mode (ie which mark to associate to the node and how to propagate in the different kinds of dependencies)
SlicingCmds
Those functions were previously outside the slicing module to show how to use the slicing API.
SlicingMacros
This .mli exists mainly to facilitate 'make -j'.
SlicingMarks
generated spare = the smallest visible mark
SlicingParameters
Slicing
SlicingProject
Handle the project global object.
SlicingState
State of the slicing.
SlicingTransform
Export a CIL application from a slicing project

Section Slicing_types (in plugins/slicing_types)


SlicingInternals
Internals types Internals type definitions should be hidden to the outside world, but it is not really possible to have abstract types since Slicing has to use Db.Slicing functions...
SlicingTypes
Slicing module types.