Frama-C:
Plug-ins:
Libraries:

Frama-C API - Lexerhack

val add_identifier : (string -> unit) Stdlib.ref
val add_type : (string -> unit) Stdlib.ref
val push_context : (unit -> unit) Stdlib.ref
val pop_context : (unit -> unit) Stdlib.ref
val is_typedef : (unit -> bool) Stdlib.ref
val reset_typedef : (unit -> unit) Stdlib.ref
val set_typedef : (unit -> unit) Stdlib.ref