package goblint

  1. Overview
  2. Docs
Static analysis framework for C

Install

Dune Dependency

goblint.in.tum.de Readme Changelog Edit opam file Versions (8)

Authors

  1. V
    Vesal Vojdani
  2. K
    Kalmer Apinis
  3. R
    Ralf Vogler
  4. M
    Michael Schwarz
  5. J
    Julian Erhard
  6. S
    Simmo Saan

Maintainers

  1. M
    Michael Schwarz <michael.schwarz93@gmail.com>
  2. S
    Simmo Saan <simmo.saan@gmail.com>
  3. R
    Ralf Vogler <ralf.vogler@gmail.com>

Sources

goblint-1.1.1.tbz
sha256=999272bfbd3b9b96fcd58987b237ac6e9fa6d92ef935cc89f1ea2b4205185141
sha512=f3bf6ab71cf8c258d3290da4bf9f6fe42d7c671822e0efeb0fc50afdff078ab15e352237e5c1db31c5aa3a9d430691268ed2e5e00da10f2615835f672f91683d

doc/goblint.lib/Queries/ES/index.html

Module Queries.ES

type elt = Exp.Exp.t
val empty : unit -> [ `Lifted of SetDomain.Make(Exp.Exp).t | `Top ]
val is_empty : [ `Lifted of SetDomain.Make(Exp.Exp).t | `Top ] -> bool
val mem : elt -> [ `Lifted of SetDomain.Make(Exp.Exp).t | `Top ] -> bool
val add : elt -> [ `Lifted of SetDomain.Make(Exp.Exp).t | `Top ] -> [ `Lifted of SetDomain.Make(Exp.Exp).t | `Top ]
val singleton : elt -> [ `Lifted of SetDomain.Make(Exp.Exp).t | `Top ]
val remove : elt -> [ `Lifted of SetDomain.Make(Exp.Exp).t | `Top ] -> [ `Lifted of SetDomain.Make(Exp.Exp).t | `Top ]
val union : [ `Lifted of SetDomain.Make(Exp.Exp).t | `Top ] -> [ `Lifted of SetDomain.Make(Exp.Exp).t | `Top ] -> [ `Lifted of SetDomain.Make(Exp.Exp).t | `Top ]
val inter : [ `Lifted of SetDomain.Make(Exp.Exp).t | `Top ] -> [ `Lifted of SetDomain.Make(Exp.Exp).t | `Top ] -> [ `Lifted of SetDomain.Make(Exp.Exp).t | `Top ]
val diff : [ `Lifted of SetDomain.Make(Exp.Exp).t | `Top ] -> [ `Lifted of SetDomain.Make(Exp.Exp).t | `Top ] -> [ `Lifted of SetDomain.Make(Exp.Exp).t | `Top ]
val subset : [ `Lifted of SetDomain.Make(Exp.Exp).t | `Top ] -> [ `Lifted of SetDomain.Make(Exp.Exp).t | `Top ] -> bool
val iter : (elt -> unit) -> [ `Lifted of SetDomain.Make(Exp.Exp).t | `Top ] -> unit
val map : (elt -> elt) -> [ `Lifted of SetDomain.Make(Exp.Exp).t | `Top ] -> [ `Lifted of SetDomain.Make(Exp.Exp).t | `Top ]
val fold : (elt -> 'a -> 'a) -> [ `Lifted of SetDomain.Make(Exp.Exp).t | `Top ] -> 'a -> 'a
val for_all : (elt -> bool) -> [ `Lifted of SetDomain.Make(Exp.Exp).t | `Top ] -> bool
val exists : (elt -> bool) -> [ `Lifted of SetDomain.Make(Exp.Exp).t | `Top ] -> bool
val filter : (elt -> bool) -> [ `Lifted of SetDomain.Make(Exp.Exp).t | `Top ] -> [ `Lifted of SetDomain.Make(Exp.Exp).t | `Top ]
val partition : (elt -> bool) -> [ `Lifted of SetDomain.Make(Exp.Exp).t | `Top ] -> [ `Lifted of SetDomain.Make(Exp.Exp).t | `Top ] * [ `Lifted of SetDomain.Make(Exp.Exp).t | `Top ]
val cardinal : [ `Lifted of SetDomain.Make(Exp.Exp).t | `Top ] -> int
val elements : [ `Lifted of SetDomain.Make(Exp.Exp).t | `Top ] -> elt list
val of_list : elt list -> [ `Lifted of SetDomain.Make(Exp.Exp).t | `Top ]
val min_elt : [ `Lifted of SetDomain.Make(Exp.Exp).t | `Top ] -> elt
val max_elt : [ `Lifted of SetDomain.Make(Exp.Exp).t | `Top ] -> elt
val choose : [ `Lifted of SetDomain.Make(Exp.Exp).t | `Top ] -> elt
val split : elt -> [ `Lifted of SetDomain.Make(Exp.Exp).t | `Top ] -> [ `Lifted of SetDomain.Make(Exp.Exp).t | `Top ] * bool * [ `Lifted of SetDomain.Make(Exp.Exp).t | `Top ]
type t = [
  1. | `Lifted of SetDomain.Make(Exp.Exp).t
  2. | `Top
]
val equal : t -> t -> bool
val hash : t -> int
val compare : t -> t -> int
val show : t -> string
val pretty : unit -> t -> Pretty.doc
val to_yojson : t -> Printable.json
val invariant : Invariant.context -> t -> Invariant.t
val tag : t -> int
val relift : t -> t
val widen : [ `Lifted of SetDomain.Make(Exp.Exp).t | `Top ] -> [ `Lifted of SetDomain.Make(Exp.Exp).t | `Top ] -> [ `Lifted of SetDomain.Make(Exp.Exp).t | `Top ]
val narrow : [ `Lifted of SetDomain.Make(Exp.Exp).t | `Top ] -> [ `Lifted of SetDomain.Make(Exp.Exp).t | `Top ] -> [ `Lifted of SetDomain.Make(Exp.Exp).t | `Top ]
val bot : unit -> [ `Lifted of SetDomain.Make(Exp.Exp).t | `Top ]
val is_bot : [ `Lifted of SetDomain.Make(Exp.Exp).t | `Top ] -> bool
val top : unit -> [ `Lifted of SetDomain.Make(Exp.Exp).t | `Top ]
val is_top : [ `Lifted of SetDomain.Make(Exp.Exp).t | `Top ] -> bool
val leq : [ `Lifted of SetDomain.Make(Exp.Exp).t | `Top ] -> [ `Lifted of SetDomain.Make(Exp.Exp).t | `Top ] -> bool
val join : [ `Lifted of SetDomain.Make(Exp.Exp).t | `Top ] -> [ `Lifted of SetDomain.Make(Exp.Exp).t | `Top ] -> [ `Lifted of SetDomain.Make(Exp.Exp).t | `Top ]
val meet : [ `Lifted of SetDomain.Make(Exp.Exp).t | `Top ] -> [ `Lifted of SetDomain.Make(Exp.Exp).t | `Top ] -> [ `Lifted of SetDomain.Make(Exp.Exp).t | `Top ]
val name : unit -> string
val pretty_diff : unit -> (t * t) -> Pretty.doc
val printXml : 'a BatInnerIO.output -> [ `Lifted of SetDomain.Make(Exp.Exp).t | `Top ] -> unit
val arbitrary : unit -> [ `Lifted of SetDomain.Make(Exp.Exp).t | `Top ] QCheck.arbitrary
OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct