module Analysis:sig
..end
module type Results =sig
..end
module Make:
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.