Frama-C API - `StatByCallstack`

Statistics about each analyzed callstack.

type callstack = Frama_c_kernel.Cil_types.kernel_function list

val get : callstack -> stat

Get the current analysis statistic for a callstack.

val iter : (callstack -> stat -> unit) -> unit

Iterate on the statistic of every analyzed callstack.

val add_hook_on_change : ((callstack, stat) Frama_c_kernel.State_builder.hashtbl_event -> unit) -> unit

Set a hook on statistics computation

Frama-C API - StatByCallstack