Module Abstractions.Config

module Config: sig .. end
Configuration defining the abstractions to be used in an analysis.

type flag = 
| Flag : 'v Abstractions.abstraction -> 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.