Frama-C:
Plug-ins:
Libraries:

Frama-C API - FileIndex

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