Slicing plugin

Directory plugins

Section Slicing (in plugins/slicing)


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.