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

sha256=5b13574a16a58971c27909bee94ae7f37b17d897852b40c768a3d4e2e09e39d2

Functors for implementing new command line options.

module Make (P : sig ... end) : Parameter_sig.Builder

val find_kf_by_name : (string -> Cil_types.kernel_function) ref

val find_kf_def_by_name : (string -> Cil_types.kernel_function) ref

val find_kf_decl_by_name : (string -> Cil_types.kernel_function) ref

val kf_category : (unit -> Cil_types.kernel_function Parameter_category.t) ref

val kf_def_category : 
  (unit -> Cil_types.kernel_function Parameter_category.t) ref

val kf_decl_category : 
  (unit -> Cil_types.kernel_function Parameter_category.t) ref

val kf_string_category : (unit -> string Parameter_category.t) ref

val fundec_category : (unit -> Cil_types.fundec Parameter_category.t) ref

val force_ast_compute : (unit -> unit) ref

val ast_dependencies : State.t list ref

On This Page