Frama-C API - `FunctionStats`

type key = Frama_c_kernel.Kernel_function.t

type data = fun_stats

val iter : (key -> data -> unit) -> unit

Iterate on every function statistics

val recompute : key -> unit

Trigger the recomputation of function stats

val recompute_all : unit -> unit

val add_hook_on_change : ((key, data) Frama_c_kernel.State_builder.hashtbl_event -> unit) -> unit

Set a hook on function statistics computation

module Datatype : Frama_c_kernel.Datatype.S

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

Set a hook on statistics changes by the project library

Frama-C API - FunctionStats