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.0.tbz
sha256=0467f30218c7ef03074b96912e46f58883e5229ba7d30102470191ad39a49b26
sha512=08a7a1a79dce32072431dd681866682e9dab7acbc4cb6e0e2255d6b71fea7020d7fcf00bbbb130489b77f03fa244382dce30eca67d75967e81b06e09996d44a8
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