package goblint-cil

  1. Overview
  2. Docs
package goblint-cil
Legend:
Library
Module
Module type
Parameter
Class
Class type
val is_equal_funname_funid : GoblintCil.varinfo -> Stdlib.String.t -> int -> bool
val delete_elem : Stdlib.String.t list -> Stdlib.String.t -> Stdlib.String.t list
val delete_duplicates : Stdlib.String.t list -> Stdlib.String.t list -> Stdlib.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 : Stdlib.String.t -> int -> (string * GoblintCil.location * string * int) list Stdlib.ref -> GoblintCil.nopCilVisitor
val find_returns : Stdlib.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 : Stdlib.String.t -> int -> (string * GoblintCil.location * string * int) list Stdlib.ref -> GoblintCil.nopCilVisitor
val create_sig : GoblintCil.fundec -> GoblintCil.file -> string
val find_def : Stdlib.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 : Stdlib.String.t -> int -> GoblintCil.global list -> GoblintCil.fundec option
class fun_find_uses : Stdlib.String.t -> int -> GoblintCil.file -> (string * GoblintCil.location * string * int) list Stdlib.ref -> GoblintCil.nopCilVisitor
val find_uses : Stdlib.String.t -> int -> GoblintCil.file -> (string * GoblintCil.location * string * int) list
val find_uses_all : GoblintCil.file -> (string * GoblintCil.location * string * int) list
class fun_find_uses_in_fun : Stdlib.String.t -> int -> Stdlib.String.t -> GoblintCil.file -> (string * GoblintCil.location * string * int) list Stdlib.ref -> GoblintCil.nopCilVisitor
val find_uses_in_fun : Stdlib.String.t -> int -> Stdlib.String.t -> GoblintCil.file -> (string * GoblintCil.location * string * int) list
val find_uses_in_fun_all : Stdlib.String.t -> GoblintCil.file -> (string * GoblintCil.location * string * int) list
val loc_default : GoblintCil.location
class fun_find_usesvar_in_fun : GoblintCil.fundec -> Stdlib.String.t -> Stdlib.String.t -> int -> GoblintCil.file -> (string * GoblintCil.location * string * int) list Stdlib.ref -> GoblintCil.nopCilVisitor
val find_usesvar_in_fun : Stdlib.String.t -> int -> Stdlib.String.t -> string -> GoblintCil.file -> (string * GoblintCil.location * string * int) list
val find_usesvar_in_fun_all : Stdlib.String.t -> string -> GoblintCil.file -> (string * GoblintCil.location * string * int) list
val find_usesvar : Stdlib.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 Stdlib.ref -> Stdlib.String.t -> int -> GoblintCil.nopCilVisitor
val find_lval_of_calls : Stdlib.String.t -> int -> GoblintCil.file -> (int * int) list
val create_fun_res : Stdlib.String.t -> int -> GoblintCil.file -> GoblintCil.location -> string * GoblintCil.location * string * int
val find_uses_cond : Stdlib.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 : Stdlib.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 Stdlib.ref -> Stdlib.String.t -> int -> string -> GoblintCil.nopCilVisitor
val find_lval_of_calls_usesvar : Stdlib.String.t -> int -> string -> GoblintCil.file -> (int * int) list
val find_usesvar_cond : Stdlib.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 : Stdlib.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