package frama-c

  1. Overview
  2. Docs
package frama-c
Legend:
Library
Module
Module type
Parameter
Class
Class type

Tables that contain RTL's symbols. Useful to know whether some symbols is part of the RTL.

val mem_global : Frama_c_kernel.Cil_types.global -> bool
val mem_vi : string -> bool
exception Unregistered of string
val find_vi : string -> Frama_c_kernel.Cil_types.varinfo
  • raises Unregistered

    if the given name is not part of the RTL.

val replacement : get_name:(string -> string) -> Frama_c_kernel.Cil_types.varinfo -> Frama_c_kernel.Cil_types.varinfo

Given the varinfo of a C function with an RTL replacement, return the varinfo of the RTL function that replaces it. The function get_name is used to find the name of the RTL replacement.

OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct