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.