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