goblint.lib
Make.S
goblint.sites
goblint_sites_dune
goblint_sites_js
type v
type d
module Var : Analyses.VarType with type t = v
Variables must be hashable, comparable, etc.
module Dom : Lattice.S with type t = d
Values must form a lattice.
val box : v -> d -> d -> d
box --- needed here for transformations
val system : v -> ((v -> d) -> (v -> d -> unit) -> d) option
The system in functional form.
val increment : Analyses.increment_data
Data used for incremental analysis
val iter_vars : (v -> d) -> VarQuery.t -> v VarQuery.f -> unit