package frama-c

  1. Overview
  2. Docs
package frama-c
Legend:
Library
Module
Module type
Parameter
Class
Class type
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.