package goblint
Static analysis framework for C
Install
Dune Dependency
Authors
Maintainers
Sources
goblint-2.0.0.tbz
sha256=2f4f2e25b765452f0e336941f35f6cb396d7c213a2d347abe5d35febc5159b1f
sha512=e96af4cad91f6985c8db93c194925853e96cad0ec1a0d9f4d32bbe16d3e5fa1e305f54be02839f21ba89ad2af0c2d5d7aa819ade221ce097dc4dbd0fcd8c8500
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)"
>