package goblint-cil

  1. Overview
  2. Docs
val find_def : Stdlib.String.t -> GoblintCil.file -> (string * GoblintCil.location * Stdlib.String.t * int) list
val find_def_all : GoblintCil.file -> (string * GoblintCil.location * string * int) list
val find_in_globals : GoblintCil.global list -> Stdlib.String.t -> int list
val find_in_varinfos : GoblintCil.varinfo list -> Stdlib.String.t -> int list
val find_fundec : GoblintCil.global list -> Stdlib.String.t -> GoblintCil.fundec option
val find_typevar_uses_in_fun : int list -> Stdlib.String.t -> GoblintCil.file -> (string * GoblintCil.location * string * int) list
val find_uses_in_fun : Stdlib.String.t -> Stdlib.String.t -> GoblintCil.file -> (string * GoblintCil.location * string * int) list
val find_uses : Stdlib.String.t -> GoblintCil.file -> (string * GoblintCil.location * Stdlib.String.t * int) list
val find_uses_in_cond : Stdlib.String.t -> GoblintCil.file -> (string * GoblintCil.location * Stdlib.String.t * int) list
val find_uses_in_noncond : Stdlib.String.t -> GoblintCil.file -> (string * GoblintCil.location * Stdlib.String.t * int) list
OCaml

Innovation. Community. Security.