Module Analysis

module Analysis: sig .. end

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 register_computed_hook : (unit -> unit) -> unit

Registers a hook that will be called each time the current analyzer has been computed.

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.