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_analyzer : unit -> (module Analysis.S)
The abstractions used in the latest analysis, and its results.
val register_hook : ((module Analysis.S) -> unit) -> unit
Registers a hook that will be called each time the current analyzer is changed. This happens when a new analysis is run with different abstractions than before, or when the current project is changed.
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.