package goblint-cil

  1. Overview
  2. Docs
package goblint-cil
Legend:
Library
Module
Module type
Parameter
Class
Class type
val is_equal_funname_funid : Cil.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 : (Cil.fundec -> Cil.location -> 'a option) -> Cil.global -> 'a option
val find_all_with_origname : string -> string list
class fun_find_returns : String.t -> int -> (string * Cil.location * string * int) list ref -> Cil.nopCilVisitor
val find_returns : String.t -> int -> Cil.file -> (string * Cil.location * string * int) list
val find_returns_all : Cil.file -> (string * Cil.location * string * int) list
class fun_find_sig : String.t -> int -> (string * Cil.location * string * int) list ref -> Cil.nopCilVisitor
val create_sig : Cil.fundec -> Cil.file -> string
val find_def : String.t -> int -> Cil.file -> (string * Cil.location * string * int) list
val find_def_all : Cil.file -> (string * Cil.location * string * int) list
val find_fundec : String.t -> int -> Cil.global list -> Cil.fundec option
class fun_find_uses : String.t -> int -> Cil.file -> (string * Cil.location * string * int) list ref -> Cil.nopCilVisitor
val find_uses : String.t -> int -> Cil.file -> (string * Cil.location * string * int) list
val find_uses_all : Cil.file -> (string * Cil.location * string * int) list
class fun_find_uses_in_fun : String.t -> int -> String.t -> Cil.file -> (string * Cil.location * string * int) list ref -> Cil.nopCilVisitor
val find_uses_in_fun : String.t -> int -> String.t -> Cil.file -> (string * Cil.location * string * int) list
val find_uses_in_fun_all : String.t -> Cil.file -> (string * Cil.location * string * int) list
val loc_default : Cil.location
class fun_find_usesvar_in_fun : Cil.fundec -> String.t -> String.t -> int -> Cil.file -> (string * Cil.location * string * int) list ref -> Cil.nopCilVisitor
val find_usesvar_in_fun : String.t -> int -> String.t -> string -> Cil.file -> (string * Cil.location * string * int) list
val find_usesvar_in_fun_all : String.t -> string -> Cil.file -> (string * Cil.location * string * int) list
val find_usesvar : String.t -> int -> string -> Cil.file -> (string * Cil.location * string * int) list
val find_usesvar_all : string -> Cil.file -> (string * Cil.location * string * int) list
val is_temporary : int -> bool
class find_calls_with_tmp : (int * int) list ref -> String.t -> int -> Cil.nopCilVisitor
val find_lval_of_calls : String.t -> int -> Cil.file -> (int * int) list
val create_fun_res : String.t -> int -> Cil.file -> Cil.location -> string * Cil.location * string * int
val find_uses_cond : String.t -> int -> Cil.file -> (string * Cil.location * string * int) list
val find_uses_cond_all : Cil.file -> (string * Cil.location * string * int) list
val find_uses_noncond : String.t -> int -> Cil.file -> (string * Cil.location * string * int) list
val find_uses_noncond_all : Cil.file -> (string * Cil.location * string * int) list
class find_calls_usesvar_with_tmp : (int * int) list ref -> String.t -> int -> string -> Cil.nopCilVisitor
val find_lval_of_calls_usesvar : String.t -> int -> string -> Cil.file -> (int * int) list
val find_usesvar_cond : String.t -> int -> string -> Cil.file -> (string * Cil.location * string * int) list
val find_usesvar_cond_all : string -> Cil.file -> (string * Cil.location * string * int) list
val find_usesvar_noncond : String.t -> int -> string -> Cil.file -> (string * Cil.location * string * int) list
val find_usesvar_noncond_all : string -> Cil.file -> (string * Cil.location * string * int) list