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/Lval/Normal/index.html
Module Lval.Normal
Parameters
Signature
type idx = Idx.t
module Offs : sig ... end
type t =
| Addr of CilType.Varinfo.t * Offs.t
(*Pointer to offset of a variable.
*)| NullPtr
(*NULL pointer.
*)| UnknownPtr
(*Unknown pointer. Could point to globals, heap and escaped variables.
*)| StrPtr of string option
(*String literal pointer.
*)StrPtr None
abstracts any string pointer
val equal : t -> t -> Ppx_deriving_runtime.bool
val compare : t -> t -> Ppx_deriving_runtime.int
val hash : t -> int
include module type of struct include Printable.Std end
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 * Offs.t) -> 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 * Offs.t) option
val from_string : string -> t
val to_string : t -> string option
val short_offs :
[< `Field of GoblintCil.fieldinfo * 'a | `Index of Idx.t * 'a | `NoOffset ] as 'a ->
string
val show : t -> string
include sig ... end
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 Idx.t * 'a | `NoOffset ] as 'a ->
GoblintCil.typ
val get_type_addr :
(GoblintCil.varinfo
* [ `Field of GoblintCil.fieldinfo * 'a | `Index of Idx.t * 'a | `NoOffset ] as 'a) ->
GoblintCil.typ
val get_type : t -> GoblintCil.typ
val is_zero_offset : Offs.t -> bool
val arbitrary : unit -> t QCheck.arbitrary
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>
On This Page