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