module Config: sig
.. end
Configuration defining the abstractions to be used in an analysis.
type
flag =
Flag for an abstraction.
include Set.S
A configuration is a set of flags, i.e. a set of enabled abstractions.
Flags for the standard domains currently provided in Eva.
val cvalue : flag
val equality : flag
val symbolic_locations : flag
val gauges : flag
val octagon : flag
val bitwise : flag
val inout : flag
val sign : flag
val traces : flag
val printer : 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.