Frama-C:
Plug-ins:
Libraries:

Frama-C API - Slicing

module Api : sig ... end
module Fct_slice : sig ... end
module PrintSlice : sig ... end
module Register : sig ... end

Register the plugin in the Frama-C kernel. Nothing is exported.

module SlicingActions : sig ... end
module SlicingCmds : sig ... end
module SlicingInternals : sig ... end
module SlicingMacros : sig ... end

This .mli exists mainly to facilitate 'make -j'. A lot of the get_ functions below should be inlined, as there is no good reason to treat those types as semi-private

module SlicingMarks : sig ... end
module SlicingParameters : sig ... end
module SlicingProject : sig ... end
module SlicingSelect : sig ... end
module SlicingState : sig ... end

State of the slicing.

module SlicingTransform : sig ... end

Export a CIL application from a slicing project

module SlicingTypes : sig ... end

Slicing module types.