Module Cvalue_transfer

module Cvalue_transfer: sig .. end

Transfer functions for the main domain of the Value analysis.


type value = Main_values.CVal.t 
type location = Main_locations.PLoc.location 
val eval_precond : (Cil_types.kernel_function ->
Cil_types.stmt -> Cvalue.Model.t -> Cvalue.Model.t)
Pervasives.ref
module Transfer: 
functor (Valuation : Abstract_domain.Valuation with type value = value and type origin = value option and type loc = location-> sig .. end