package goblint

  1. Overview
  2. Docs
package goblint
Legend:
Library
Module
Module type
Parameter
Class
Class type
val var_replace_original_name : Cilfacade.VarinfoH.key -> Cilfacade.VarinfoH.key
class exp_replace_original_name_visitor : object ... end
val exp_replace_original_name : Cil.exp -> Cil.exp
val var_is_in_scope : CilType.Fundec.t -> Cilfacade.VarinfoH.key -> bool
class exp_is_in_scope_visitor : Cil.fundec -> bool ref -> object ... end
val exp_is_in_scope : Cil.fundec -> Cil.exp -> bool
val tmp_var_regexp : Str.regexp
val var_is_tmp : Cilfacade.VarinfoH.key -> bool
val exp_contains_tmp : Cil.exp -> bool
val var_is_heap : Cil.varinfo -> bool
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