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 find_right_value : Cil_types.typ ->
Cvalue.V_Offsetmap.t -> value Eval.flagged_value
module Transfer: 
functor (Valuation : Abstract_domain.Valuation with type value = value and type origin = bool and type loc = location) -> sig .. end