Frama-C API - `Widen`

Per-function computation of widening hints.

val getWidenHints : Frama_c_kernel.Cil_types.kernel_function -> Frama_c_kernel.Cil_types.stmt -> Frama_c_kernel.Base.Set.t * (Frama_c_kernel.Base.t -> Frama_c_kernel.Locations.Location_Bytes.widen_hint)

getWidenHints kf s retrieves the set of widening hints related to function kf and statement s.

val precompute_widen_hints : unit -> unit

Parses all widening hints defined via the widen_hint syntax extension. The result is memoized for subsequent calls.

Frama-C API - Widen

Frama-C API - `Widen`