package frama-c

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

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

val str_level_option : SlicingInternals.level_option -> string
val get_default_level_option : bool -> SlicingInternals.level_option
val fold_fi : ('a -> SlicingInternals.fct_info -> 'a) -> 'a -> 'a
val get_ff_id : SlicingInternals.fct_slice -> int
val fi_name : SlicingInternals.fct_info -> string
val ff_name : SlicingInternals.fct_slice -> string
val f_name : SlicingInternals.fct_id -> string
val ff_src_name : SlicingInternals.fct_slice -> string
val change_fi_slicing_level : SlicingInternals.fct_info -> SlicingInternals.level_option -> unit
val change_slicing_level : Frama_c_kernel.Kernel_function.t -> int -> unit
val is_call_stmt : Frama_c_kernel.Cil_types.stmt -> bool
val is_src_fun_called : Frama_c_kernel.Kernel_function.t -> bool
val is_src_fun_visible : Frama_c_kernel.Kernel_function.t -> bool
val fi_has_persistent_selection : SlicingInternals.fct_info -> bool
val has_persistent_selection : Frama_c_kernel.Kernel_function.t -> bool
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