Module SlicingSource

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

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

Sourcemodule SlicingActions : sig ... end
Sourcemodule SlicingCmds : sig ... end
Sourcemodule SlicingInternals : sig ... end
Sourcemodule 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

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

State of the slicing.

Sourcemodule SlicingTransform : sig ... end

Export a CIL application from a slicing project

Sourcemodule SlicingTypes : sig ... end

Slicing module types.