package frama-c

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
type t = {
  1. cfile_name : Frama_c_kernel.Filepath.Normalized.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;
}
OCaml

Innovation. Community. Security.