Frama-C:
Plug-ins:
Libraries:

Frama-C API - Config

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

type t
val configure : unit -> t

Creates the configuration according to the analysis parameters.

val of_list : (Domain.registered * Domain_mode.t option) list -> t

Creates a custom configuration from a list of registered abstract domains, associated with optional analysis modes. None is the default mode: the domain is enabled for the whole analysis. See Domain_mode for more details.

val equal : t -> t -> bool

Are two configurations identical?