package goblint

  1. Overview
  2. Docs

Module ValueDomain.ValueInvariant

Parameters

module Arg : InvariantArg

Signature

module VS : sig ... end
val ad_invariant : vs:VS.t -> offset:GoblintCil.Cil.offset -> lval:GoblintCil.lval -> AD.t -> Invariant.t
val blob_invariant : vs:VS.t -> offset:GoblintCil.Cil.offset -> lval:GoblintCil.lval -> Blobs.t -> Invariant.t
val vd_invariant : vs:VS.t -> offset:GoblintCil.Cil.offset -> lval:GoblintCil.Cil.lval -> CArrays.value -> Invariant.t
val deref_invariant : vs:VS.t -> GoblintCil.varinfo -> offset:GoblintCil.offset -> lval:GoblintCil.Cil.lval -> Invariant.t
val key_invariant_lval : ?vs:??? -> GoblintCil.varinfo -> offset:GoblintCil.offset -> lval:GoblintCil.Cil.lval -> CArrays.value -> Invariant.t
val key_invariant : GoblintCil.varinfo -> ?offset:??? -> CArrays.value -> Invariant.t