package frama-c

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

Configuration of the analysis.

val enabled_domains : unit -> (string * string) list

Returns the list (name, descr) of currently enabled abstract domains.

val use_builtin : Frama_c_kernel.Cil_types.kernel_function -> string -> unit

use_builtin kf name instructs the analysis to use the builtin name to interpret calls to function kf. Raises Not_found if there is no builtin of name name.

val use_global_value_partitioning : Frama_c_kernel.Cil_types.varinfo -> unit

use_global_value_partitioning vi instructs the analysis to use value partitioning on the global variable vi.

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