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 -> ('b, int) Stdlib.Hashtbl.t -> 'c 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 generate_func_loc_table : GoblintCil.file -> (string * int) list
val generate_globalvar_list : GoblintCil.file -> string list
val get_all_alphaconverted_in_fun : Stdlib.String.t -> Stdlib.String.t -> GoblintCil.file -> Stdlib.String.t list
class var_search_in_expr : Stdlib.String.t -> int -> 'a -> (string * 'b * string * int) list Stdlib.ref -> bool -> GoblintCil.nopCilVisitor
val search_expression : GoblintCil.exp -> Stdlib.String.t -> 'a -> int -> bool -> (string * 'b * string * int) list
val search_lhost : GoblintCil.lhost -> Stdlib.String.t -> 'a -> int -> bool -> (string * 'b * string * int) list
val search_offset : GoblintCil.offset -> Stdlib.String.t -> 'a -> int -> bool -> (string * 'b * string * int) list
val search_expression_list : GoblintCil.exp list -> Stdlib.String.t -> 'a -> int -> bool -> (string * 'b * 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 -> 'b -> 'c 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