Frama-C API - Loop
Operations on (natural) loops.
val is_natural : Cil_types.kernel_function -> Cil_types.stmt -> boolval get_naturals : Cil_types.kernel_function -> Cil_types.stmt list Cil_datatype.Stmt.Map.tval is_non_natural : Cil_types.kernel_function -> Cil_types.stmt -> boolval get_non_naturals : Cil_types.kernel_function -> Cil_datatype.Stmt.Set.tval back_edges : Cil_types.kernel_function -> Cil_types.stmt -> Cil_types.stmt listStatements that are the origin of a back-edge to a natural loop.