Frama-C API - Main_values
Main numeric values of Eva that can be used by abstract domains.
module CVal : Abstract_value.Leaf with type t = Frama_c_kernel.Cvalue.V.t and type context = unitMain abstract values built over Cvalue.V, used by most domains.
val cval : CVal.t Abstract_value.dependenciesmodule Interval : Abstract_value.Leaf with type t = Frama_c_kernel.Ival.t option and type context = unitDummy intervals: no forward nor backward propagations, only used as a reduced product with CVal above. None is top.
val ival : Interval.t Abstract_value.dependenciesmodule Sign : Abstract_value.Leaf with type t = Sign_value.t and type context = unitSimple sign values, used by the sign domain.
val sign : Sign.t Abstract_value.dependencies