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.or_bottom Eval.flagged_value

module Transfer: functor (Valuation : Abstract_domain.Valuation  with type value = value
                                           and type origin = bool
                                           and type loc = location) -> sig .. end