module Analysis: sig
.. end
The abstractions used in the latest analysis, and its results.
module type Results = sig
.. end
module Make:
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 -> ?library: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
Compute the initial state of the cvalue domain only.