Module Analysis

module Analysis: sig .. end
The abstractions used in the latest analysis, and its results.

module type Results = sig .. end
module Make: 
functor (Abstract : Abstractions.S-> sig .. end
module type S = sig .. end
val current : (module Analysis.S) Pervasives.ref
The abstractions used in the latest analysis, and its results.
val compute : Abstractions.config -> lib_entry:bool -> Cil_types.kernel_function -> unit
Perform a full analysis, starting from the given kernel_function and with the abstractions specified by the configuration.
val force_compute : unit -> unit
Perform a full analysis, starting from the main function.
val cvalue_initial_state : unit -> Cvalue.Model.t
Return the initial state of the cvalue domain only.