Eva_perf.StatByCallstack
Statistics about each analyzed callstack.
type callstack = Frama_c_kernel.Cil_types.kernel_function list
val add_hook_on_change :
((callstack, stat) Frama_c_kernel.State_builder.hashtbl_event -> unit) ->
unit
Set a hook on statistics computation