package goblint-cil
A front-end for the C programming language that facilitates program analysis and transformation
Install
dune-project
Dependency
Authors
Maintainers
Sources
goblint-cil-2.0.3.tbz
sha256=6f7db2b495d183458ec887cf1869cd936b8cd6b8bb9dd9c22dda5d510f1b8927
sha512=d101affa1cb5ef0b9048892aa6d1f94117ae3705f999e12793cbe0f5bfa5a9a160f174ffe84afb98a146bf46c02872389d4c161d0857de5a2dc5474994122397
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