Frama-C:

Plug-ins:

Libraries:

Frama-C API - `Getters`

Parameters

module Dom : Abstract.Domain.External

val get_cvalue : (Dom.t -> Frama_c_kernel.Cvalue.Model.t) option

val get_cvalue_or_top : Dom.t -> Frama_c_kernel.Cvalue.Model.t

val get_cvalue_or_bottom : Dom.t Frama_c_kernel.Lattice_bounds.or_bottom -> Frama_c_kernel.Cvalue.Model.t