Module Abstractions.Config

module Config: sig .. end

Configuration defining the abstractions to be used in an analysis. A configuration is a set of flags, i.e. a set of abstract domains. Each flag comes with an optional mode. None is the default mode: the given domain is enabled for the whole analysis. See Domain_mode for more details.


include Set.S
val mem : Abstractions.flag -> t -> bool

Returns true if the given flag is in the configuration.

Flags for the standard domains currently provided in Eva.

val cvalue : Abstractions.flag
val equality : Abstractions.flag
val symbolic_locations : Abstractions.flag
val gauges : Abstractions.flag
val octagon : Abstractions.flag
val bitwise : Abstractions.flag
val inout : Abstractions.flag
val sign : Abstractions.flag
val traces : Abstractions.flag
val multidim : Abstractions.flag
val printer : Abstractions.flag
val default : t

The default configuration of Eva.

val legacy : t

The configuration corresponding to the old "Value" analysis, with only the cvalue domain enabled.