package goblint-cil

  1. Overview
  2. Docs
val is_equal_funname_funid : GoblintCil.varinfo -> String.t -> int -> bool
val delete_elem : String.t list -> String.t -> String.t list
val delete_duplicates : String.t list -> String.t list -> String.t list
val map_gfun : (GoblintCil.fundec -> GoblintCil.location -> 'a option) -> GoblintCil.global -> 'a option
val find_all_with_origname : string -> string list
class fun_find_returns : String.t -> int -> (string * GoblintCil.location * string * int) list ref -> GoblintCil.nopCilVisitor
val find_returns : String.t -> int -> GoblintCil.file -> (string * GoblintCil.location * string * int) list
val find_returns_all : GoblintCil.file -> (string * GoblintCil.location * string * int) list
class fun_find_sig : String.t -> int -> (string * GoblintCil.location * string * int) list ref -> GoblintCil.nopCilVisitor
val create_sig : GoblintCil.fundec -> GoblintCil.file -> string
val find_def : String.t -> int -> GoblintCil.file -> (string * GoblintCil.location * string * int) list
val find_def_all : GoblintCil.file -> (string * GoblintCil.location * string * int) list
val find_fundec : String.t -> int -> GoblintCil.global list -> GoblintCil.fundec option
class fun_find_uses : String.t -> int -> GoblintCil.file -> (string * GoblintCil.location * string * int) list ref -> GoblintCil.nopCilVisitor
val find_uses : String.t -> int -> GoblintCil.file -> (string * GoblintCil.location * string * int) list
val find_uses_all : GoblintCil.file -> (string * GoblintCil.location * string * int) list
val find_uses_in_fun : String.t -> int -> String.t -> GoblintCil.file -> (string * GoblintCil.location * string * int) list
val find_uses_in_fun_all : String.t -> GoblintCil.file -> (string * GoblintCil.location * string * int) list
val loc_default : GoblintCil.location
val find_usesvar_in_fun : String.t -> int -> String.t -> string -> GoblintCil.file -> (string * GoblintCil.location * string * int) list
val find_usesvar_in_fun_all : String.t -> string -> GoblintCil.file -> (string * GoblintCil.location * string * int) list
val find_usesvar : String.t -> int -> string -> GoblintCil.file -> (string * GoblintCil.location * string * int) list
val find_usesvar_all : string -> GoblintCil.file -> (string * GoblintCil.location * string * int) list
val is_temporary : int -> bool
class find_calls_with_tmp : (int * int) list ref -> String.t -> int -> GoblintCil.nopCilVisitor
val find_lval_of_calls : String.t -> int -> GoblintCil.file -> (int * int) list
val create_fun_res : String.t -> int -> GoblintCil.file -> GoblintCil.location -> string * GoblintCil.location * string * int
val find_uses_cond : String.t -> int -> GoblintCil.file -> (string * GoblintCil.location * string * int) list
val find_uses_cond_all : GoblintCil.file -> (string * GoblintCil.location * string * int) list
val find_uses_noncond : String.t -> int -> GoblintCil.file -> (string * GoblintCil.location * string * int) list
val find_uses_noncond_all : GoblintCil.file -> (string * GoblintCil.location * string * int) list
class find_calls_usesvar_with_tmp : (int * int) list ref -> String.t -> int -> string -> GoblintCil.nopCilVisitor
val find_lval_of_calls_usesvar : String.t -> int -> string -> GoblintCil.file -> (int * int) list
val find_usesvar_cond : String.t -> int -> string -> GoblintCil.file -> (string * GoblintCil.location * string * int) list
val find_usesvar_cond_all : string -> GoblintCil.file -> (string * GoblintCil.location * string * int) list
val find_usesvar_noncond : String.t -> int -> string -> GoblintCil.file -> (string * GoblintCil.location * string * int) list
val find_usesvar_noncond_all : string -> GoblintCil.file -> (string * GoblintCil.location * string * int) list
OCaml

Innovation. Community. Security.