Module Compute_functions

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.