package frama-c

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

Globals associated to filename.

val self : State.t

The state kind corresponding to the table of global C symbols.

  • since Boron-20100401

Getters

val get_symbols : Datatype.Filepath.t -> Cil_types.global list

All global C symbols of the given module.

  • since Boron-20100401
val get_files : unit -> Datatype.Filepath.t list

Get the files list containing all global C symbols.

Searching among all global C symbols

Global variables of the given module for the kernel user interface

val get_global_annotations : Datatype.Filepath.t -> Cil_types.global_annotation list

Global annotations of the given module for the kernel user interface

  • since Nitrogen-20111001
val get_functions : ?declarations:bool -> Datatype.Filepath.t -> Cil_types.kernel_function list

Global functions of the given module for the kernel user interface. If declarations is true, functions declared in a module but defined in another module are only reported in the latter (default is false).

val kernel_function_of_local_var_or_param_varinfo : Cil_types.varinfo -> Cil_types.kernel_function * bool

kernel_function where the local variable or formal parameter is declared. The boolean result is true for a formal parameter.

  • raises Not_found

    if the varinfo is a global one.

val remove_global_annotations : Cil_types.global_annotation -> unit
  • since Oxygen-20120901
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