package goblint-cil
A front-end for the C programming language that facilitates program analysis and transformation
Install
Dune Dependency
Authors
Maintainers
Sources
goblint-cil-2.0.1.tbz
sha256=5f81cb3f25c09770e77b5eb4092e6621e456122b6d1219dcc304c062075f9572
sha512=31bb753031e0ef321a2ef065373009270881b1cce7f23167b378845188aed9cb49f18a165edd2e11f751f2c7a7b84ab5ac1da50ba1f5cb975e6e8a97157838ed
doc/goblint-cil.syntacticsearch/Syntacticsearch/FuncFunction/index.html
Module Syntacticsearch.FuncFunctionSource
Source
val map_gfun :
(GoblintCil.fundec -> GoblintCil.location -> 'a option) ->
GoblintCil.global ->
'a optionSource
class fun_find_returns : String.t -> int -> (string * GoblintCil.location * string * int) list ref ->
GoblintCil.nopCilVisitorSource
val find_returns :
String.t ->
int ->
GoblintCil.file ->
(string * GoblintCil.location * string * int) listSource
class fun_find_sig : String.t -> int -> (string * GoblintCil.location * string * int) list ref ->
GoblintCil.nopCilVisitorSource
val find_def :
String.t ->
int ->
GoblintCil.file ->
(string * GoblintCil.location * string * int) listSource
class fun_find_uses : String.t -> int -> GoblintCil.file -> (string
* GoblintCil.location
* string
* int)
list
ref -> GoblintCil.nopCilVisitorSource
val find_uses :
String.t ->
int ->
GoblintCil.file ->
(string * GoblintCil.location * string * int) listSource
class fun_find_uses_in_fun : String.t -> int -> String.t -> GoblintCil.file -> (string
* GoblintCil.location
* string
* int)
list
ref -> GoblintCil.nopCilVisitorSource
val find_uses_in_fun :
String.t ->
int ->
String.t ->
GoblintCil.file ->
(string * GoblintCil.location * string * int) listSource
val find_uses_in_fun_all :
String.t ->
GoblintCil.file ->
(string * GoblintCil.location * string * int) listSource
class fun_find_usesvar_in_fun : GoblintCil.fundec -> String.t -> String.t -> int -> GoblintCil.file ->
(string * GoblintCil.location * string * int) list
ref -> GoblintCil.nopCilVisitorSource
val find_usesvar_in_fun :
String.t ->
int ->
String.t ->
string ->
GoblintCil.file ->
(string * GoblintCil.location * string * int) listSource
val find_usesvar_in_fun_all :
String.t ->
string ->
GoblintCil.file ->
(string * GoblintCil.location * string * int) listSource
val find_usesvar :
String.t ->
int ->
string ->
GoblintCil.file ->
(string * GoblintCil.location * string * int) listSource
val find_usesvar_all :
string ->
GoblintCil.file ->
(string * GoblintCil.location * string * int) listSource
class find_calls_with_tmp : (int * int) list ref -> String.t -> int -> GoblintCil.nopCilVisitorSource
val create_fun_res :
String.t ->
int ->
GoblintCil.file ->
GoblintCil.location ->
string * GoblintCil.location * string * intSource
val find_uses_cond :
String.t ->
int ->
GoblintCil.file ->
(string * GoblintCil.location * string * int) listSource
val find_uses_cond_all :
GoblintCil.file ->
(string * GoblintCil.location * string * int) listSource
val find_uses_noncond :
String.t ->
int ->
GoblintCil.file ->
(string * GoblintCil.location * string * int) listSource
val find_uses_noncond_all :
GoblintCil.file ->
(string * GoblintCil.location * string * int) listSource
class find_calls_usesvar_with_tmp : (int * int) list ref -> String.t -> int -> string -> GoblintCil.nopCilVisitorSource
val find_lval_of_calls_usesvar :
String.t ->
int ->
string ->
GoblintCil.file ->
(int * int) listSource
val find_usesvar_cond :
String.t ->
int ->
string ->
GoblintCil.file ->
(string * GoblintCil.location * string * int) listSource
val find_usesvar_cond_all :
string ->
GoblintCil.file ->
(string * GoblintCil.location * string * int) listSource
val find_usesvar_noncond :
String.t ->
int ->
string ->
GoblintCil.file ->
(string * GoblintCil.location * string * int) listSource
val find_usesvar_noncond_all :
string ->
GoblintCil.file ->
(string * GoblintCil.location * string * int) list