package goblint

  1. Overview
  2. Docs
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/Base/MainFunctor/argument-1-Priv/index.html

Parameter MainFunctor.Priv

module D : Lattice.S
module G : Lattice.S
module V : Printable.S
val startstate : unit -> D.t
val read_global : Queries.ask -> (V.t -> G.t) -> BaseDomain.BaseComponents(D).t -> GoblintCil.varinfo -> Goblint_lib.BaseDomain.VD.t
val write_global : ?invariant:bool -> Queries.ask -> (V.t -> G.t) -> (V.t -> G.t -> unit) -> BaseDomain.BaseComponents(D).t -> GoblintCil.varinfo -> Goblint_lib.BaseDomain.VD.t -> BaseDomain.BaseComponents(D).t
val sync : Queries.ask -> (V.t -> G.t) -> (V.t -> G.t -> unit) -> BaseDomain.BaseComponents(D).t -> [ `Normal | `Join | `Return | `Init | `Thread ] -> BaseDomain.BaseComponents(D).t
val enter_multithreaded : Queries.ask -> (V.t -> G.t) -> (V.t -> G.t -> unit) -> BaseDomain.BaseComponents(D).t -> BaseDomain.BaseComponents(D).t
val iter_sys_vars : (V.t -> G.t) -> VarQuery.t -> V.t VarQuery.f -> unit

Queries.IterSysVars for base.

val init : unit -> unit
val finalize : unit -> unit
OCaml

Innovation. Community. Security.