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.6.tbz
sha256=5577007bfac63c3f0609abdb74119fe674c9bc8529d790e90ef73a85964aa07a
sha512=f1a393fa92614ceaf857bec4df474d3e152c578d0ab5fdf791e9129668861ccaa37efae2f18aa539965d6c2ed4dabb47b4a5262aab55112e181935def06f18da
doc/goblint-cil.syntacticsearch/Syntacticsearch/QueryMapping/index.html
Module Syntacticsearch.QueryMappingSource
Source
val delete_elem :
(Stdlib.String.t * GoblintCil.location * Stdlib.String.t * 'a) ->
(Stdlib.String.t * GoblintCil.location * Stdlib.String.t * 'a) list ->
(Stdlib.String.t * GoblintCil.location * Stdlib.String.t * 'a) listSource
val and_one_elem :
('a * GoblintCil.location * 'b * 'c) ->
('a * GoblintCil.location * 'b * 'c) list ->
('a * GoblintCil.location * 'b * 'c) listSource
val and_two_lists :
('a * GoblintCil.location * 'b * 'c) list ->
('a * GoblintCil.location * 'b * 'c) list ->
('a * GoblintCil.location * 'b * 'c) listSource
val and_several_lists :
('a * GoblintCil.location * 'b * 'c) list list ->
('a * GoblintCil.location * 'b * 'c) listSource
val resolve_query_datatype_uses_fun :
CodeQuery.query ->
GoblintCil.file ->
Stdlib.String.t ->
(string * GoblintCil.location * string * int) listSource
val resolve_query_datatype_uses_none :
CodeQuery.query ->
GoblintCil.file ->
(string * GoblintCil.location * Stdlib.String.t * int) listSource
val resolve_query_datatype_uses_cond :
CodeQuery.query ->
GoblintCil.file ->
(string * GoblintCil.location * Stdlib.String.t * int) listSource
val resolve_query_datatype_uses_noncond :
CodeQuery.query ->
GoblintCil.file ->
(string * GoblintCil.location * Stdlib.String.t * int) listSource
val resolve_query_datatype_uses :
CodeQuery.query ->
GoblintCil.file ->
(string * GoblintCil.location * Stdlib.String.t * int) listSource
val resolve_query_datatype_defs_none :
CodeQuery.query ->
GoblintCil.file ->
(string * GoblintCil.location * Stdlib.String.t * int) listSource
val resolve_query_datatype_defs :
CodeQuery.query ->
GoblintCil.file ->
(string * GoblintCil.location * Stdlib.String.t * int) listSource
val resolve_query_datatype :
CodeQuery.query ->
GoblintCil.file ->
(string * GoblintCil.location * Stdlib.String.t * int) listSource
val resolve_query_var_uses_fun :
CodeQuery.query ->
GoblintCil.file ->
Stdlib.String.t ->
(string * GoblintCil.location * string * int) listSource
val resolve_query_var_uses_none :
CodeQuery.query ->
GoblintCil.file ->
(string * GoblintCil.location * string * int) listSource
val resolve_query_var_uses_cond :
CodeQuery.query ->
GoblintCil.file ->
(string * GoblintCil.location * string * int) listSource
val resolve_query_var_uses_noncond :
CodeQuery.query ->
GoblintCil.file ->
(string * GoblintCil.location * string * int) listSource
val resolve_query_var_uses :
CodeQuery.query ->
GoblintCil.file ->
(string * GoblintCil.location * string * int) listSource
val resolve_query_var_decl_fun :
CodeQuery.query ->
GoblintCil.file ->
Stdlib.String.t ->
(string * GoblintCil.location * string * int) listSource
val resolve_query_var_decl_none :
CodeQuery.query ->
GoblintCil.file ->
(Stdlib.String.t * GoblintCil.location * string * int) listSource
val resolve_query_var_decl :
CodeQuery.query ->
GoblintCil.file ->
(Stdlib.String.t * GoblintCil.location * string * int) listSource
val resolve_query_var_defs_fun :
CodeQuery.query ->
GoblintCil.file ->
Stdlib.String.t ->
(string * GoblintCil.location * string * int) listSource
val resolve_query_var_defs_none :
CodeQuery.query ->
GoblintCil.file ->
(string * GoblintCil.location * string * int) listSource
val resolve_query_var_defs :
CodeQuery.query ->
GoblintCil.file ->
(string * GoblintCil.location * string * int) listSource
val resolve_query_var :
CodeQuery.query ->
GoblintCil.file ->
(Stdlib.String.t * GoblintCil.location * string * int) listSource
val resolve_query_fun_return_none :
CodeQuery.query ->
GoblintCil.file ->
(string * GoblintCil.location * string * int) listSource
val resolve_query_fun_return :
CodeQuery.query ->
GoblintCil.file ->
(string * GoblintCil.location * string * int) listSource
val resolve_query_fun_defs_none :
CodeQuery.query ->
GoblintCil.file ->
(string * GoblintCil.location * string * int) listSource
val resolve_query_fun_defs :
CodeQuery.query ->
GoblintCil.file ->
(string * GoblintCil.location * string * int) listSource
val resolve_query_fun_uses_none :
CodeQuery.query ->
GoblintCil.file ->
(string * GoblintCil.location * string * int) listSource
val resolve_query_fun_uses_fun :
CodeQuery.query ->
GoblintCil.file ->
Stdlib.String.t ->
(string * GoblintCil.location * string * int) listSource
val resolve_query_fun_uses_cond :
CodeQuery.query ->
GoblintCil.file ->
(string * GoblintCil.location * string * int) listSource
val resolve_query_fun_uses_noncond :
CodeQuery.query ->
GoblintCil.file ->
(string * GoblintCil.location * string * int) listSource
val resolve_query_fun_uses :
CodeQuery.query ->
GoblintCil.file ->
(string * GoblintCil.location * string * int) listSource
val resolve_query_fun_usesvar_fun :
CodeQuery.query ->
GoblintCil.file ->
string ->
Stdlib.String.t ->
(string * GoblintCil.location * string * int) listSource
val resolve_query_fun_usesvar_none :
CodeQuery.query ->
GoblintCil.file ->
string ->
(string * GoblintCil.location * string * int) listSource
val resolve_query_fun_usesvar_cond :
CodeQuery.query ->
GoblintCil.file ->
string ->
(string * GoblintCil.location * string * int) listSource
val resolve_query_fun_usesvar_noncond :
CodeQuery.query ->
GoblintCil.file ->
string ->
(string * GoblintCil.location * string * int) listSource
val resolve_query_fun_usesvar :
CodeQuery.query ->
GoblintCil.file ->
string ->
(string * GoblintCil.location * string * int) listSource
val resolve_query_fun :
CodeQuery.query ->
GoblintCil.file ->
(string * GoblintCil.location * string * int) listSource
val map_query :
CodeQuery.query ->
GoblintCil.file ->
(Stdlib.String.t * GoblintCil.location * Stdlib.String.t * int) list