Frama-C:
Plug-ins:
Libraries:

Frama-C API - Builtins

E-ACSL built-in database.

val mem : string -> bool
  • returns

    true iff the given function name is an E-ACSL built-in

Get the varinfo corresponding to the given E-ACSL built-in name.

  • raises Not_found

    if it is not a built-in

val update : string -> Frama_c_kernel.Cil_types.varinfo -> unit

If the given name is an E-ACSL built-in, change its old varinfo by the given new one.