Frama-C:
Plug-ins:
Libraries:

Frama-C API - Generic

val vpar : string * Cil_types.typ * Cil_types.attributes
val translate_type : Cil_types.typ -> Cil_types.typ
val add_vpar : Cil_types.varinfo -> unit
val translate_va_builtin : Cil_types.fundec -> Cil_types.instr -> Cil_types.instr list
val translate_call : builder:Builder.t -> Cil_types.lhost -> Cil_types.exp list -> unit