Frama-C API - `Api`

Global setting.

val self : Frama_c_kernel.State.t

Internal state of the slicing tool from project viewpoints.

val set_modes : ?calls:SlicingParameters.Mode.Calls.t -> ?callers:SlicingParameters.Mode.Callers.t -> ?sliceUndef:SlicingParameters.Mode.SliceUndef.t -> ?keepAnnotations:SlicingParameters.Mode.KeepAnnotations.t -> unit -> unit

Set the used slicing modes.

module Project : sig ... end

module Mark : sig ... end

module Select : sig ... end

module Slice : sig ... end

module Request : sig ... end

Global data management

val split_slice : Slice.t -> Slice.t list

val merge_slices : Slice.t -> Slice.t -> replace:bool -> Slice.t

val copy_slice : Slice.t -> Slice.t

Frama-C API - Api

Global setting.

Global data management

Frama-C API - `Api`