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.2.tbz
sha256=e6b654a67a46fb5a71a6c9d9ed24f46100d3f33537fef1edf5f57d3058d0dc58
sha512=fbf66413e777b887d11c40adaf3099e6be444a9609c41508d24fe1fdb20d720fad241d2b8cc80fd6dc8829ea02cfbd7b7fc239a94b807e3df29d3f72f9f20c80
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