package goblint

  1. Overview
  2. Docs
Static analysis framework for C

Install 

dune-project
 Dependency

goblint.in.tum.de Edit opam file Versions (11)

Authors

  1. S
    Simmo Saan
  2. M
    Michael Schwarz
  3. J
    Julian Erhard
  4. S
    Sarah Tilscher
  5. K
    Karoliine Holter
  6. M
    Michael Petter
  7. A
    Ali Rasim Kocal
  8. R
    Ralf Vogler
  9. K
    Kalmer Apinis
  10. V
    Vesal Vojdani

Maintainers

  1. S
    Simmo Saan <simmo.saan@gmail.com>
  2. M
    Michael Schwarz <michael.schwarz93@gmail.com>
  3. K
    Karoliine Holter <karoliine.holter@ut.ee>

Sources

goblint-2.8.0.tbz
sha256=9175eec0143102243964e34a0786584fd590c60422009259c705a89a27f88de4
sha512=9d760007dd8d003cf596516444ed7acc7370fc3d446e75ac71b0176522c3baae090410762f9035e7aae4f6b0e394bf28bb5b1c08ca0476920b94aa919ef04f42

doc/goblint.domain/MapDomain/index.html

Module MapDomainSource

Map domains.

module Pretty = GoblintCil.Pretty
Sourcemodule type PS = sig ... end
Sourcemodule type S = sig ... end
Sourcemodule type Bindings = sig ... end

Subsignature of S, which is sufficient for Print.

Sourcemodule Print (D : Printable.S) (R : Printable.S) (M : Bindings with type key = D.t and type value = R.t) : sig ... end

Reusable output definitions for maps.

Sourcemodule type Groupable = sig ... end
Sourcemodule PrintGroupable (D : Groupable) (R : Printable.S) (M : Bindings with type key = D.t and type value = R.t) : sig ... end

Reusable output definitions for maps with key grouping.

Sourcemodule type MapS = sig ... end
Sourcemodule StdMap (K : Map.OrderedType) : MapS with type key = K.t
Sourcemodule PatriciaMap (K : PatriciaTree.KEY) : MapS with type key = K.t
Sourcemodule GenPMap (Domain : Printable.S) (M : MapS with type key = Domain.t) (Range : Lattice.S) : PS with type key = Domain.t and type value = Range.t
Sourcemodule HashCached (M : S) : S with type key = M.key and type value = M.value
Sourcemodule HConsed (M : S) : S with type key = M.key and type value = M.value
Sourcemodule Timed (M : S) : S with type key = M.key and type value = M.value
Sourcemodule GenMapBot (Domain : Printable.S) (M : MapS with type key = Domain.t) (Range : Lattice.S) : S with type key = Domain.t and type value = Range.t
Sourcemodule MapBot (Domain : Printable.S) (Range : Lattice.S) : sig ... end
Sourcemodule GenMapTop (Domain : Printable.S) (M : MapS with type key = Domain.t) (Range : Lattice.S) : S with type key = Domain.t and type value = Range.t
Sourcemodule MapTop (Domain : Printable.S) (Range : Lattice.S) : sig ... end
Sourceexception Fn_over_All of string
Sourcemodule LiftTop (Range : Lattice.S) (M : S with type value = Range.t) : S with type key = M.key and type value = Range.t
Sourcemodule GenMapBot_LiftTop (Domain : Printable.S) (M : MapS with type key = Domain.t) (Range : Lattice.S) : S with type key = Domain.t and type value = Range.t
Sourcemodule LiftBot (Range : Lattice.S) (M : S with type value = Range.t) : S with type key = M.key and type value = Range.t
Sourcemodule GenMapTop_LiftBot (Domain : Printable.S) (M : MapS with type key = Domain.t) (Range : Lattice.S) : S with type key = Domain.t and type value = Range.t
Sourcemodule Joined (E : Lattice.S) (R : Lattice.S) : S with type key = E.t and type value = R.t

Map abstracted by a single (joined) key.