package frama-c

  1. Overview
  2. Docs
package frama-c
Legend:
Library
Module
Module type
Parameter
Class
Class type

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.

OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct