Frama-C:
Plug-ins:
Libraries:

Frama-C API - BasicMetrics

type t = {
  1. cfile_name : Frama_c_kernel.Filepath.t;
  2. cfunc : Frama_c_kernel.Kernel_function.t option;
  3. cslocs : int;
  4. cifs : int;
  5. cloops : int;
  6. ccalls : int;
  7. cgotos : int;
  8. cassigns : int;
  9. cexits : int;
  10. cfuncs : int;
  11. cptrs : int;
  12. cdecision_points : int;
  13. cglob_vars : int;
  14. ccyclo : int;
}