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/ConcDomain/ThreadCreation/DirtyExit/index.html

Module ThreadCreation.DirtyExit

type t = bool
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 printXml : 'a BatInnerIO.output -> t -> unit
val name : unit -> string
val to_yojson : t -> Printable.json
val invariant : Invariant.context -> t -> Invariant.t
val tag : t -> int
val arbitrary : unit -> t QCheck.arbitrary
val relift : t -> t
val leq : t -> t -> bool
val join : t -> t -> t
val meet : t -> t -> t
val widen : t -> t -> t
val narrow : t -> t -> t
val pretty_diff : unit -> (t * t) -> Pretty.doc
val bot : unit -> t
val is_bot : t -> bool
val top : unit -> t
val is_top : t -> bool
val bot_of : Cil.ikind -> t
val top_of : Cil.ikind -> t
val to_int : t -> int_t option
val is_int : t -> bool
val equal_to : int_t -> t -> [ `Eq | `Neq | `Top ]
val to_bool : t -> bool option
val is_bool : t -> bool
val to_excl_list : t -> int_t list option
val of_excl_list : Cil.ikind -> int_t list -> t
val is_excl_list : t -> bool
val to_incl_list : t -> int_t list option
val maximal : t -> int_t option
val minimal : t -> int_t option
val cast_to : ?torg:Cil.typ -> Cil.ikind -> t -> t
val neg : t -> t
val add : t -> t -> t
val sub : t -> t -> t
val mul : t -> t -> t
val div : t -> t -> t
val rem : t -> t -> t
val lt : t -> t -> t
val gt : t -> t -> t
val le : t -> t -> t
val ge : t -> t -> t
val eq : t -> t -> t
val ne : t -> t -> t
val bitnot : t -> t
val bitand : t -> t -> t
val bitor : t -> t -> t
val bitxor : t -> t -> t
val shift_left : t -> t -> t
val shift_right : t -> t -> t
val lognot : t -> t
val logand : t -> t -> t
val logor : t -> t -> t
val starting : Cil.ikind -> int_t -> t
val ending : Cil.ikind -> int_t -> t
val of_int : int_t -> t
val of_bool : bool -> t
val of_interval : Cil.ikind -> (int_t * int_t) -> t
val of_congruence : Cil.ikind -> (int_t * int_t) -> t
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