package goblint-cil

  1. Overview
  2. Docs
package goblint-cil
Legend:
Library
Module
Module type
Parameter
Class
Class type
val is_equal_varname_varid : GoblintCil.varinfo -> Stdlib.String.t -> int -> bool
val delete_elem : Stdlib.String.t list -> Stdlib.String.t -> Stdlib.String.t list
val delete_duplicates : 'a list -> ('a, int) Stdlib.Hashtbl.t -> 'a list
val map_gfun : (GoblintCil.fundec -> GoblintCil.location -> 'a option) -> GoblintCil.global -> 'a option
val map_gvar : (GoblintCil.varinfo -> GoblintCil.initinfo -> GoblintCil.location -> 'a option) -> GoblintCil.global -> 'a option
val is_temporary : int -> bool
val get_func_loc : GoblintCil.file -> string -> GoblintCil.location
val generate_globalvar_list : GoblintCil.file -> string list
val get_all_alphaconverted_in_fun : Stdlib.String.t -> string -> GoblintCil.file -> Stdlib.String.t list
class var_search_in_expr : Stdlib.String.t -> int -> 'a -> (string * 'a * string * int) list Stdlib.ref -> bool -> GoblintCil.nopCilVisitor
val search_expression : GoblintCil.exp -> Stdlib.String.t -> 'a -> int -> bool -> (string * 'a * string * int) list
val search_lhost : GoblintCil.lhost -> Stdlib.String.t -> 'a -> int -> bool -> (string * 'a * string * int) list
val search_offset : GoblintCil.offset -> Stdlib.String.t -> 'a -> int -> bool -> (string * 'a * string * int) list
val search_expression_list : GoblintCil.exp list -> Stdlib.String.t -> 'a -> int -> bool -> (string * 'a * string * int) list
val search_instr_list_for_var : GoblintCil.instr list -> Stdlib.String.t -> int -> bool -> (string * GoblintCil.location * string * int) list
val search_stmt_list_for_var : GoblintCil.stmt list -> Stdlib.String.t -> int -> bool -> (string * GoblintCil.location * string * int) list
val find_uses_in_fun_var : GoblintCil.fundec -> Stdlib.String.t -> int -> bool -> GoblintCil.file -> (string * GoblintCil.location * string * int) list
val find_uses_in_fun_find_fun : GoblintCil.global list -> Stdlib.String.t -> Stdlib.String.t -> int -> bool -> GoblintCil.file -> (string * GoblintCil.location * string * int) list
val find_uses_in_fun : Stdlib.String.t -> int -> Stdlib.String.t -> GoblintCil.file -> bool -> (string * GoblintCil.location * string * int) list
val find_all_glob_vars : GoblintCil.global list -> int list
val find_uses_in_fun_all_glob : Stdlib.String.t -> GoblintCil.file -> bool -> (string * GoblintCil.location * string * int) list
val find_fundec : GoblintCil.global list -> Stdlib.String.t -> GoblintCil.fundec option
val find_uses_in_fun_all : Stdlib.String.t -> GoblintCil.file -> bool -> (string * GoblintCil.location * string * int) list
val find_var_in_globals : Stdlib.String.t -> int -> GoblintCil.global list -> (string * GoblintCil.location * string * int) list
val find_uses : Stdlib.String.t -> int -> GoblintCil.file -> bool -> (string * GoblintCil.location * string * int) list
val find_uses_all_glob : GoblintCil.file -> bool -> (string * GoblintCil.location * string * int) list
val find_uses_all : GoblintCil.file -> bool -> (string * GoblintCil.location * string * int) list
val cond_search_uses_stmt_list : GoblintCil.stmt list -> Stdlib.String.t -> int -> bool -> (string * GoblintCil.location * string * int) list
val find_uses_in_cond_in_fun : Stdlib.String.t -> int -> Stdlib.String.t -> GoblintCil.file -> bool -> (string * GoblintCil.location * string * int) list
val find_uses_in_cond : Stdlib.String.t -> int -> GoblintCil.file -> bool -> (string * GoblintCil.location * string * int) list
val find_uses_in_cond_all_glob : GoblintCil.file -> bool -> (string * GoblintCil.location * string * int) list
val find_uses_in_cond_in_fun_all_glob : Stdlib.String.t -> GoblintCil.file -> bool -> (string * GoblintCil.location * string * int) list
val find_uses_in_cond_in_fun_all : Stdlib.String.t -> GoblintCil.file -> bool -> (string * GoblintCil.location * string * int) list
val find_uses_in_cond_all : GoblintCil.file -> bool -> (string * GoblintCil.location * string * int) list
val remove_result : 'a list -> 'a -> 'a list
val find_uses_in_noncond : Stdlib.String.t -> int -> GoblintCil.file -> bool -> (string * GoblintCil.location * string * int) list
val find_uses_in_noncond_all_glob : GoblintCil.file -> bool -> (string * GoblintCil.location * string * int) list
val find_uses_in_noncond_all : GoblintCil.file -> bool -> (string * GoblintCil.location * string * int) list
val find_decl_in_fun : Stdlib.String.t -> int -> Stdlib.String.t -> GoblintCil.file -> (string * GoblintCil.location * string * int) list
val find_decl_in_fun_all : Stdlib.String.t -> GoblintCil.file -> (string * GoblintCil.location * string * int) list
val find_decl_all_glob : GoblintCil.file -> (string * GoblintCil.location * string * int) list
val find_decl : Stdlib.String.t -> int -> GoblintCil.file -> (Stdlib.String.t * GoblintCil.location * string * int) list
val find_decl_all : GoblintCil.file -> (string * GoblintCil.location * string * int) list
class var_find_def_in_fun : Stdlib.String.t -> int -> Stdlib.String.t -> (string * GoblintCil.location * string * int) list Stdlib.ref -> GoblintCil.nopCilVisitor
val find_defs_in_fun : Stdlib.String.t -> int -> Stdlib.String.t -> GoblintCil.file -> (string * GoblintCil.location * string * int) list
val find_defs_in_fun_all_glob : Stdlib.String.t -> GoblintCil.file -> (string * GoblintCil.location * string * int) list
val find_defs_in_fun_all : Stdlib.String.t -> GoblintCil.file -> (string * GoblintCil.location * string * int) list
val find_defs : Stdlib.String.t -> int -> GoblintCil.file -> (string * GoblintCil.location * string * int) list
val find_defs_all_glob : GoblintCil.file -> (string * GoblintCil.location * string * int) list
val find_defs_all : GoblintCil.file -> (string * GoblintCil.location * string * int) list
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