package frama-c

  1. Overview
  2. Docs
package frama-c
Legend:
Library
Module
Module type
Parameter
Class
Class type

Slicing request

val apply_all : propagate_to_callers:bool -> unit
val apply_all_internal : unit -> unit
val apply_next_internal : unit -> unit
val propagate_user_marks : unit -> unit
val copy_slice : Slice.t -> Slice.t
val split_slice : Slice.t -> Slice.t list
val merge_slices : Slice.t -> Slice.t -> replace:bool -> Slice.t
val add_call_slice : caller:Slice.t -> to_call:Slice.t -> unit
val add_call_fun : caller:Slice.t -> to_call:Frama_c_kernel.Cil_types.kernel_function -> unit
val add_call_min_fun : caller:Slice.t -> to_call:Frama_c_kernel.Cil_types.kernel_function -> unit
val add_selection : Select.set -> unit
val add_persistent_selection : Select.set -> unit
val add_persistent_cmdline : unit -> unit

No needs of Journalization

val is_request_empty_internal : unit -> bool
val add_slice_selection_internal : Slice.t -> Select.t -> unit
val add_selection_internal : Select.t -> unit

Debug

val pretty : Format.formatter -> unit
OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct