Frama-C:
Plug-ins:
Libraries:

Frama-C API - Eva_perf

Statistics about the analysis performance.

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.