Frama-C API - `Recursion`

Handling of recursion cycles in the callgraph

val check_spec : Frama_c_kernel.Cil_types.kinstr -> Frama_c_kernel.Cil_types.kernel_function -> unit

val make : ('v, 'loc) Eval.call -> Eval.recursion option

Creates the information about a recursive call.

val revert : Eval.recursion -> Eval.recursion

Changes the information about a recursive call to be used at the end of the call.

Frama-C API - Recursion