Frama-C API - `Library_functions`

val get_retres_vi : Frama_c_kernel.Cil_types.kernel_function -> Frama_c_kernel.Cil_types.varinfo option

Fake varinfo used by Value to store the result of functions. Returns None if the function has a void type.

val returned_value : Frama_c_kernel.Cil_types.kernel_function -> Frama_c_kernel.Cvalue.V.t

val warn_unsupported_spec : string -> unit

Warns on functions from the frama-c libc with unsupported specification.

Frama-C API - Library_functions