Module Rtl.Symbols

module Symbols: sig .. end

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


val mem_global : Cil_types.global -> bool
val mem_kf : Cil_types.kernel_function -> bool
val mem_vi : string -> bool
exception Unregistered of string
val find_vi : string -> Cil_types.varinfo