Frama-C:
Plug-ins:
Libraries:

Frama-C API - Eva_perf

val start : Callstack.t -> unit

Call start when starting analyzing a new callstack.

val stop : Callstack.t -> unit

Call stop when finishing analyzing a callstack.

val reset : unit -> unit

Reset the internal state of the module.

val display : Stdlib.Format.formatter -> unit

Display a complete summary of performance information. Can be called during the analysis.

type stat = {
  1. nb_calls : int;
    (*

    How many times the given function or callstack has been analyzed.

    *)
  2. self_duration : float;
    (*

    Time spent analyzing the function or callstack itself.

    *)
  3. total_duration : float;
    (*

    Total time, including the analysis of other functions called.

    *)
  4. called : Frama_c_kernel.Kernel_function.Hptset.t;
    (*

    Set of functions called from this function or callstack.

    *)
}

Statistic about the analysis time of a function or a callstack.

type 'a by_fun = (Frama_c_kernel.Cil_types.kernel_function * 'a) list
val compute_stat_by_fun : unit -> (stat * stat by_fun) by_fun

Returns a list of the functions with the longest total analysis time, sorted by decreasing analysis time. Each function f is associated to its stat and the unsorted list of stats of all function calls from f.

module StatByCallstack : sig ... end

Statistics about each analyzed callstack.