Module Goblint_lib.MemOutOfBounds

An analysis for the detection of out-of-bounds memory accesses (memOutOfBounds).

module AS = AnalysisState
module VDQ = ValueDomainQueries
module IndexDomain = ValueDomain.IndexDomain
module SizeDomain = ValueDomain.SizeDomain
module Spec : sig ... end