Module Abstractions

module Abstractions: sig .. end
Constructions of the abstractions used by EVA.

type config = {
   cvalue : bool;
   equalities : bool;
   bitwise : bool;
   apron_oct : bool;
   apron_box : bool;
   polka_loose : bool;
   polka_strict : bool;
   polka_equalities : bool;
}
Configuration of the abstract domain.
val default_config : config
Default configuration of EVA.
val legacy_config : config
Legacy configuration of EVA, with only the cvalue domain enabled. May be the default config as well.
val configure : unit -> config
Build a configuration according to the analysis paramaters.
module type Value = sig .. end
module type S = sig .. end
Types of the abstractions of the analysis: value, location and state abstractions.
val make : config -> (module Abstractions.S)
Builds the abstractions according to a configuration.

Two abstractions are instanciated at compile time: default and legacy (which may be the same).
module Legacy: S 
module Default: S