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

Sub-signature of State_builder.Hashtbl required by the server to build synchronized arrays.

type key = Frama_c_kernel.Cil_types.kernel_function list

type data = stat

module Datatype : Frama_c_kernel.Datatype.S

val add_hook_on_update : (Datatype.t -> unit) -> unit

Frama-C API - StatByCallstack