module Cvalue_transfer:sig
..end
Transfer functions for the main domain of the Value analysis.
typevalue =
Main_values.CVal.t
typelocation =
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