package frama-c

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

Observation of global variables.

val function_init_name : string

Name of the function in which mk_init_function (see below) generates the code.

val function_clean_name : string

Name of the function in which mk_clean_function (see below) generates the code.

val reset : unit -> unit
val is_empty : unit -> bool

Observe the given variable if necessary.

Add the initializer for the given observed variable.

Generate a new C function containing the observers for global variable declarations and initializations.

val mk_clean_function : unit -> (Frama_c_kernel.Cil_types.varinfo * Frama_c_kernel.Cil_types.fundec) option

Generate a new C function containing the observers for global variable de-allocations if there are global variables.

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