package goblint
Static analysis framework for C
Install
Dune Dependency
Authors
Maintainers
Sources
goblint-2.0.1.tbz
sha256=dba2b664c7c125687e708e871d83fbfb6ba6d9ee98d235b4850d9a238caa84de
sha512=529987cde39691ad9e955000a3603e89c1c8cf14ed5e8b4cd3a7fc26e47d016aff571b472e2329725133c46f8d0cb45a05b88994eeffaa221a4d31b4c543adcd
doc/goblint.lib/Goblint_lib/Access/index.html
Module Goblint_lib.Access
module M = Messages
val typeVar : (GoblintCil.typsig, GoblintCil.varinfo) Batteries.Hashtbl.t
val typeIncl : (GoblintCil.typsig, GoblintCil.fieldinfo) Batteries.Hashtbl.t
val unsound : bool Batteries.ref
val equal_offs : offs -> offs -> Ppx_deriving_runtime.bool
val compare_offs : offs -> offs -> Ppx_deriving_runtime.int
val hash_offs : offs -> int
val remove_idx : GoblintCil.offset -> offs
val addOffs :
[< `Field of CilType.Fieldinfo.t * 'a | `Index of 'a | `NoOffset ] as 'a ->
offs ->
offs
val d_offs : unit -> offs -> GoblintCil.Pretty.doc
val equal_acc_typ : acc_typ -> acc_typ -> Ppx_deriving_runtime.bool
val compare_acc_typ : acc_typ -> acc_typ -> Ppx_deriving_runtime.int
val hash_acc_typ : acc_typ -> int
val d_acct :
unit ->
[< `Struct of GoblintCil.compinfo * offs | `Type of GoblintCil.typ ] ->
GoblintCil.Pretty.doc
val get_type : GoblintCil.typ -> GoblintCil.exp -> acc_typ
val add_one :
(acc_typ ->
(GoblintCil.varinfo * offs) option ->
(int * AccessKind.t * Node.t * GoblintCil.exp * 'a) ->
unit) ->
GoblintCil.exp ->
AccessKind.t ->
int ->
acc_typ ->
(GoblintCil.varinfo * offs) option ->
'a ->
unit
val type_from_type_offset : acc_typ -> GoblintCil.typ
val add_struct :
(acc_typ ->
(GoblintCil.varinfo * offs) option ->
(int * AccessKind.t * Node.t * GoblintCil.exp * 'a) ->
unit) ->
GoblintCil.exp ->
AccessKind.t ->
int ->
acc_typ ->
(GoblintCil.varinfo * offs) option ->
'a ->
unit
val add_propagate :
(acc_typ ->
(GoblintCil.varinfo * offs) option ->
(int * AccessKind.t * Node.t * GoblintCil.exp * 'a) ->
unit) ->
GoblintCil.exp ->
AccessKind.t ->
int ->
acc_typ ->
'b ->
'a ->
unit
val add :
(acc_typ ->
(GoblintCil.varinfo * offs) option ->
(int * AccessKind.t * Node.t * GoblintCil.exp * 'a) ->
unit) ->
GoblintCil.exp ->
AccessKind.t ->
int ->
var_o ->
off_o ->
'a ->
unit
module A : sig ... end
module AS : sig ... end
module T : sig ... end
module O : sig ... end
module LV : sig ... end
module LVOpt : sig ... end
val may_race :
('a * AccessKind.t * 'b * 'c * MCPAccess.A.t) ->
('d * AccessKind.t * 'e * 'f * MCPAccess.A.t) ->
bool
val race_conf : AS.t -> Batteries.Int.t option
val is_all_safe : bool Batteries.ref
val incr_summary :
int Batteries.ref ->
int Batteries.ref ->
int Batteries.ref ->
('a * 'b) ->
AS.t list ->
unit
val warn_global :
int Batteries.ref ->
int Batteries.ref ->
int Batteries.ref ->
((GoblintCil.varinfo * offs) option
* [< `Struct of GoblintCil.compinfo * offs | `Type of GoblintCil.typ ]) ->
AS.t ->
unit
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>