LoopAnalysis.Loop_analysis
Loop
exports functions related to the estimation of loop iteration bounds.
val analyze : Frama_c_kernel.Kernel_function.t -> unit
val get_bounds : Frama_c_kernel.Cil_types.stmt -> int option
val fold_bounds :
(Frama_c_kernel.Cil_types.stmt -> int -> 'a -> 'a) ->
'a ->
'a