package goblint
Static analysis framework for C
Install
Dune Dependency
Authors
Maintainers
Sources
goblint-2.1.0.tbz
sha256=bfc412ec2e447eaef6f4f83892e3511ebf305593cb00561c1406be3ae8bf48e9
sha512=5f2a162e5f36bffafc9836b0d18b5b2808cecfa6bf68f83bb7d1e8b9947ac74cf07776eb09274b4b29d55c897a45a10768f0d9ed25810cf6ba2409c525e4cd4d
doc/goblint.lib/Goblint_lib/Control/AnalyzeCFG/Result/index.html
Module AnalyzeCFG.Result
type key = MyCFG.nodeval create : int -> 'a Hashtbl.Make(Goblint_lib__Analyses.ResultNode).tval length : 'a Hashtbl.Make(Goblint_lib__Analyses.ResultNode).t -> intval is_empty : 'a Hashtbl.Make(Goblint_lib__Analyses.ResultNode).t -> boolval clear : 'a Hashtbl.Make(Goblint_lib__Analyses.ResultNode).t -> unitval reset : 'a Hashtbl.Make(Goblint_lib__Analyses.ResultNode).t -> unitval add :
'a Hashtbl.Make(Goblint_lib__Analyses.ResultNode).t ->
key ->
'a ->
unitval remove : 'a Hashtbl.Make(Goblint_lib__Analyses.ResultNode).t -> key -> unitval remove_all :
'a Hashtbl.Make(Goblint_lib__Analyses.ResultNode).t ->
key ->
unitval find : 'a Hashtbl.Make(Goblint_lib__Analyses.ResultNode).t -> key -> 'aval find_all :
'a Hashtbl.Make(Goblint_lib__Analyses.ResultNode).t ->
key ->
'a listval find_default :
'a Hashtbl.Make(Goblint_lib__Analyses.ResultNode).t ->
key ->
'a ->
'aval find_option :
'a Hashtbl.Make(Goblint_lib__Analyses.ResultNode).t ->
key ->
'a optionval find_opt :
'a Hashtbl.Make(Goblint_lib__Analyses.ResultNode).t ->
key ->
'a optionval replace :
'a Hashtbl.Make(Goblint_lib__Analyses.ResultNode).t ->
key ->
'a ->
unitval mem : 'a Hashtbl.Make(Goblint_lib__Analyses.ResultNode).t -> key -> boolval iter :
(key -> 'a -> unit) ->
'a Hashtbl.Make(Goblint_lib__Analyses.ResultNode).t ->
unitval for_all :
(key -> 'a -> bool) ->
'a Hashtbl.Make(Goblint_lib__Analyses.ResultNode).t ->
boolval fold :
(key -> 'a -> 'b -> 'b) ->
'a Hashtbl.Make(Goblint_lib__Analyses.ResultNode).t ->
'b ->
'bval exists :
(key -> 'a -> bool) ->
'a Hashtbl.Make(Goblint_lib__Analyses.ResultNode).t ->
boolval map :
(key -> 'b -> 'c) ->
'b Hashtbl.Make(Goblint_lib__Analyses.ResultNode).t ->
'c Hashtbl.Make(Goblint_lib__Analyses.ResultNode).tval map_inplace :
(key -> 'a -> 'a) ->
'a Hashtbl.Make(Goblint_lib__Analyses.ResultNode).t ->
unitval filter :
('a -> bool) ->
'a Hashtbl.Make(Goblint_lib__Analyses.ResultNode).t ->
'a Hashtbl.Make(Goblint_lib__Analyses.ResultNode).tval filter_inplace :
('a -> bool) ->
'a Hashtbl.Make(Goblint_lib__Analyses.ResultNode).t ->
unitval filteri :
(key -> 'a -> bool) ->
'a Hashtbl.Make(Goblint_lib__Analyses.ResultNode).t ->
'a Hashtbl.Make(Goblint_lib__Analyses.ResultNode).tval filteri_inplace :
(key -> 'a -> bool) ->
'a Hashtbl.Make(Goblint_lib__Analyses.ResultNode).t ->
unitval filter_map :
(key -> 'a -> 'b option) ->
'a Hashtbl.Make(Goblint_lib__Analyses.ResultNode).t ->
'b Hashtbl.Make(Goblint_lib__Analyses.ResultNode).tval filter_map_inplace :
(key -> 'a -> 'a option) ->
'a Hashtbl.Make(Goblint_lib__Analyses.ResultNode).t ->
unitval modify :
key ->
('a -> 'a) ->
'a Hashtbl.Make(Goblint_lib__Analyses.ResultNode).t ->
unitval modify_def :
'a ->
key ->
('a -> 'a) ->
'a Hashtbl.Make(Goblint_lib__Analyses.ResultNode).t ->
unitval modify_opt :
key ->
('a option -> 'a option) ->
'a Hashtbl.Make(Goblint_lib__Analyses.ResultNode).t ->
unitval merge :
(key -> 'a option -> 'b option -> 'c option) ->
'a Hashtbl.Make(Goblint_lib__Analyses.ResultNode).t ->
'b Hashtbl.Make(Goblint_lib__Analyses.ResultNode).t ->
'c Hashtbl.Make(Goblint_lib__Analyses.ResultNode).tval merge_all :
(key -> 'a list -> 'b list -> 'c list) ->
'a Hashtbl.Make(Goblint_lib__Analyses.ResultNode).t ->
'b Hashtbl.Make(Goblint_lib__Analyses.ResultNode).t ->
'c Hashtbl.Make(Goblint_lib__Analyses.ResultNode).tval stats :
'a Hashtbl.Make(Goblint_lib__Analyses.ResultNode).t ->
BatHashtbl.statisticsval to_seq :
'a Hashtbl.Make(Goblint_lib__Analyses.ResultNode).t ->
(key * 'a) Seq.tval to_seq_keys :
'a Hashtbl.Make(Goblint_lib__Analyses.ResultNode).t ->
key Seq.tval to_seq_values :
'a Hashtbl.Make(Goblint_lib__Analyses.ResultNode).t ->
'a Seq.tval add_seq :
'a Hashtbl.Make(Goblint_lib__Analyses.ResultNode).t ->
(key * 'a) Seq.t ->
unitval replace_seq :
'a Hashtbl.Make(Goblint_lib__Analyses.ResultNode).t ->
(key * 'a) Seq.t ->
unitval of_seq :
(key * 'a) Seq.t ->
'a Hashtbl.Make(Goblint_lib__Analyses.ResultNode).tval keys : 'a Hashtbl.Make(Goblint_lib__Analyses.ResultNode).t -> key BatEnum.tval values :
'a Hashtbl.Make(Goblint_lib__Analyses.ResultNode).t ->
'a BatEnum.tval enum :
'a Hashtbl.Make(Goblint_lib__Analyses.ResultNode).t ->
(key * 'a) BatEnum.tval to_list :
'a Hashtbl.Make(Goblint_lib__Analyses.ResultNode).t ->
(key * 'a) listval of_enum :
(key * 'a) BatEnum.t ->
'a Hashtbl.Make(Goblint_lib__Analyses.ResultNode).tval of_list :
(key * 'a) list ->
'a Hashtbl.Make(Goblint_lib__Analyses.ResultNode).tval print :
?first:string ->
?last:string ->
?sep:string ->
('a BatInnerIO.output -> key -> unit) ->
('a BatInnerIO.output -> 'b -> unit) ->
'a BatInnerIO.output ->
'b Hashtbl.Make(Goblint_lib__Analyses.ResultNode).t ->
unitmodule Exceptionless : sig ... endmodule Infix : sig ... endmodule Labels : sig ... endtype nonrec t = LT.t Hashtbl.Make(Goblint_lib__Analyses.ResultNode).tval pretty :
unit ->
LT.t Hashtbl.Make(Goblint_lib__Analyses.ResultNode).t ->
GoblintCil.Pretty.docval printXml :
'a BatInnerIO.output ->
LT.t Hashtbl.Make(Goblint_lib__Analyses.ResultNode).t ->
unitval printJson :
'a BatInnerIO.output ->
LT.t Hashtbl.Make(Goblint_lib__Analyses.ResultNode).t ->
unitval printXmlWarning : 'a BatInnerIO.output -> unit -> unitval output :
LT.t Hashtbl.Make(Goblint_lib__Analyses.ResultNode).t Lazy.t ->
'a ->
(unit BatIO.output -> 'a -> 'b) ->
GoblintCil.file ->
unit