module Compute_functions: sig
.. end
Value analysis of entire functions, using Eva engine.
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.