Module Summary.FunctionStats

module FunctionStats: sig .. end

val get : Cil_types.fundec -> Summary.fun_stats option

Get the current analysis statistics for a function

val iter : (Cil_types.fundec -> Summary.fun_stats -> unit) -> unit

Iterate on every function statistics

val recompute : Cil_types.fundec -> unit

Trigger the recomputation of function stats

val register_hook : (Cil_types.fundec * Summary.fun_stats -> unit) -> unit

Set a hook on function statistics computation