package frama-c

  1. Overview
  2. Docs
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.