| Api | Global setting. |
| Fct_slice | This module deals with slice computation. |
| PrintSlice | Everything needed to print the result |
| Register | Register the plugin in the Frama-C kernel. |
| Register_gui | Extension of the GUI in order to support slicing visualization. |
| Slicing | |
| SlicingActions | This module deals with the action management. |
| SlicingCmds | Those functions were previously outside the slicing module to show how to use the slicing API. |
| 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... |
| SlicingMacros | This .mli exists mainly to facilitate 'make -j'. |
| SlicingMarks | Everything related with the marks. |
| SlicingParameters | Slicing |
| SlicingProject | Handle the project global object. |
| SlicingSelect | |
| SlicingState | State of the slicing. |
| SlicingTransform | Export a CIL application from a slicing project |
| SlicingTypes | Slicing module types. |