Module Eva_perf.StatByCallstack

Statistics about each analyzed callstack.

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 data = stat
val add_hook_on_update : (Datatype.t -> unit) -> unit