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/CommonPriv/MutexGlobals/VMutex/index.html
Module MutexGlobals.VMutex
include module type of struct include Goblint_lib.LockDomain.Addr end
type idx = PreValueDomain.IndexDomain.t
type t =
| Addr of CilType.Varinfo.t * (GoblintCil.fieldinfo, PreValueDomain.IndexDomain.t) Goblint_lib__Lval.offs
| NullPtr
| UnknownPtr
| StrPtr of string option
val equal : t -> t -> Ppx_deriving_runtime.bool
val compare : t -> t -> Ppx_deriving_runtime.int
val hash : t -> int
type group = Basetype.Variables.group
val show_group : Basetype.Variables.group -> Ppx_deriving_runtime.string
val to_group : t -> Basetype.Variables.group option
val from_var : CilType.Varinfo.t -> t
val from_var_offset :
(CilType.Varinfo.t
* (GoblintCil.fieldinfo, PreValueDomain.IndexDomain.t)
Goblint_lib__Lval.offs) ->
t
val to_var : t -> CilType.Varinfo.t option
val to_var_may : t -> CilType.Varinfo.t option
val to_var_must : t -> CilType.Varinfo.t option
val to_var_offset :
t ->
(CilType.Varinfo.t
* (GoblintCil.fieldinfo, PreValueDomain.IndexDomain.t)
Goblint_lib__Lval.offs)
option
val from_string : string -> t
val to_string : t -> string option
val short_offs :
[< `Field of GoblintCil.fieldinfo * 'a
| `Index of PreValueDomain.IndexDomain.t * 'a
| `NoOffset ] as 'a ->
string
val short_addr :
(GoblintCil.varinfo
* [< `Field of GoblintCil.fieldinfo * 'a
| `Index of PreValueDomain.IndexDomain.t * 'a
| `NoOffset ] as 'a) ->
string
val pretty : unit -> t -> Goblint_lib__Printable.Pretty.doc
val printXml : 'a BatInnerIO.output -> t -> unit
val to_yojson : t -> [> `String of string ]
val type_offset :
GoblintCil.typ ->
[ `Field of GoblintCil.fieldinfo * 'a
| `Index of PreValueDomain.IndexDomain.t * 'a
| `NoOffset ] as 'a ->
GoblintCil.typ
val get_type_addr :
(GoblintCil.varinfo
* [ `Field of GoblintCil.fieldinfo * 'a
| `Index of PreValueDomain.IndexDomain.t * 'a
| `NoOffset ] as 'a) ->
GoblintCil.typ
val get_type : t -> GoblintCil.typ
val is_zero_offset :
(GoblintCil.fieldinfo, PreValueDomain.IndexDomain.t) Goblint_lib__Lval.offs ->
bool
val add_offset :
t ->
(GoblintCil.fieldinfo, PreValueDomain.IndexDomain.t) Goblint_lib__Lval.offs ->
t
val arbitrary : unit -> t QCheck.arbitrary
module Offs = Goblint_lib.LockDomain.Addr.Offs
val is_definite : t -> bool
val show : t -> string
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>