package frama-c

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type

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.

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.

OCaml

Innovation. Community. Security.