package frama-c

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

Module Analysis_scripts.List_functionsSource

Sourcemodule SemanticLocs : sig ... end
module Self : sig ... end
module PrintLibc : sig ... end
module PrintDeclarations : sig ... end
module Output : sig ... end
Sourcetype funinfo = {
  1. name : string;
  2. declarations : unit SemanticLocs.t;
  3. definitions : int SemanticLocs.t;
}
Sourceclass stmt_count_visitor : object ... end
Sourceval located_within_framac_libc : (Frama_c_kernel.Filepath.position * 'a) -> bool
Sourceclass fun_cabs_visitor : bool -> object ... end
Sourceval pp_semlocs : Format.formatter -> 'a SemanticLocs.t -> unit
Sourceval pp_definitions : Format.formatter -> int SemanticLocs.t -> unit
Sourceval print_text : funinfo list -> unit
Sourceval definitions_with_size : string -> int SemanticLocs.t
Sourceval json_string_of_loc : Frama_c_kernel.Cil_datatype.Location.t -> [> `String of string ]
Sourceval json_list_of_loc_tbl : 'a SemanticLocs.t -> [> `List of [> `String of string ] list ]
Sourceval json_array_of_loc_size : (Frama_c_kernel.Cil_datatype.Location.t * 'a) -> [> `Assoc of (string * [> `Int of 'a | `String of string ]) list ]
Sourceval json_list_of_loc_size_tbl : 'a SemanticLocs.t -> [> `List of [> `Assoc of (string * [> `Int of 'a | `String of string ]) list ] list ]
Sourceval run : unit -> unit
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