Frama-C:
Plug-ins:
Libraries:

Frama-C API - Names

val add : t -> string -> unit
val remove : t -> unit
val all : unit -> (t * string) list