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/PreValueDomain/Addr/index.html
Module PreValueDomain.Addr
type idx = IndexDomain.t
type t =
| Addr of CilType.Varinfo.t * (GoblintCil.fieldinfo, 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, 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, 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 IndexDomain.t * 'a
| `NoOffset ] as 'a ->
string
val short_addr :
(GoblintCil.varinfo
* [< `Field of GoblintCil.fieldinfo * 'a
| `Index of IndexDomain.t * 'a
| `NoOffset ] as 'a) ->
string
val show : t -> 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 IndexDomain.t * 'a
| `NoOffset ] as 'a ->
GoblintCil.typ
val get_type_addr :
(GoblintCil.varinfo
* [ `Field of GoblintCil.fieldinfo * 'a
| `Index of IndexDomain.t * 'a
| `NoOffset ] as 'a) ->
GoblintCil.typ
val get_type : t -> GoblintCil.typ
val is_zero_offset :
(GoblintCil.fieldinfo, IndexDomain.t) Goblint_lib__Lval.offs ->
bool
val add_offset :
t ->
(GoblintCil.fieldinfo, IndexDomain.t) Goblint_lib__Lval.offs ->
t
val arbitrary : unit -> t QCheck.arbitrary
module Offs : sig ... end
val is_definite : t -> bool
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>