package frama-c

You can search for identifiers within the package.

in-package search v0.2.0

Platform dedicated to the analysis of source code written in C

Install

Dune Dependency

frama-c.com Readme Edit opam file Versions (25)

Authors

Maintainers

F

frama-ci-bot@frama-c.com

Sources

frama-c-27.1-Cobalt.tar.gz

sha256=5b13574a16a58971c27909bee94ae7f37b17d897852b40c768a3d4e2e09e39d2

doc/frama-c.kernel/Frama_c_kernel/Globals/FileIndex/index.html

Module `Globals.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

val get_globals : 
  Datatype.Filepath.t ->
  (Cil_types.varinfo * Cil_types.initinfo) list

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

On This Page

Getters
Searching among all global C symbols