Frama-C API - Loop_analysis
Loop exports functions related to the estimation of loop iteration bounds.
val analyze : Frama_c_kernel.Kernel_function.t -> unitval get_bounds : Frama_c_kernel.Cil_types.stmt -> int optionval fold_bounds : (Frama_c_kernel.Cil_types.stmt -> int -> 'a -> 'a) -> 'a -> 'a