Module Compute_functions

module Compute_functions: sig .. end
Value analysis of entire functions, using Eva engine.

module Make: 
functor (Value : Abstract_value.S) ->
functor (Loc : Abstract_location.External with type value = Value.t) ->
functor (Domain : Abstract_domain.External with type location = Loc.location and type value = Value.t) ->
functor (Eva : Evaluation.S with type value = Domain.value and type origin = Domain.origin and type loc = Domain.location and type state = Domain.t) ->
functor (Init : Initialization.S with type state := Domain.t) -> sig .. end
val run : (Cil_types.kernel_function -> unit Eval.or_bottom) ->
?library:bool -> Cil_types.kernel_function -> unit