package goblint

  1. Overview
  2. Docs
Static analysis framework for C

Install

Dune Dependency

Authors

Maintainers

Sources

goblint-2.5.0.tbz
sha256=452d8491527aea21f2cbb11defcc14ba0daf9fdb6bdb9fc0af73e56eac57b916
sha512=1993cd45c4c7fe124ca6e157f07d17ec50fab5611b270a434ed1b7fb2910aa85a8e6eaaa77dad770430710aafb2f6d676c774dd33942d921f23e2f9854486551

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 PMap (Domain : Printable.S) (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 MapBot (Domain : Printable.S) (Range : Lattice.S) : S with type key = Domain.t and type value = Range.t
Sourcemodule MapTop (Domain : Printable.S) (Range : Lattice.S) : S with type key = Domain.t and type value = Range.t
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 LiftBot (Range : Lattice.S) (M : S with type value = Range.t) : S with type key = M.key 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.

OCaml

Innovation. Community. Security.