Frama-C:

Plug-ins:

Libraries:

Frama-C API - `Widening`

val widen : ?arg:bool -> Frama_c_kernel.Cil_types.logic_info -> Analyses_types.ival -> Analyses_types.ival -> Analyses_types.ival

val widen_profile : Frama_c_kernel.Cil_types.logic_info -> Analyses_datatype.Profile.t -> Analyses_datatype.Profile.t -> Analyses_datatype.Profile.t

Frama-C API - Widening