module Metrics_cilast:sig
..end
libc
to true
will
include functions/variables from the C stdlib in the metrics.
Syntactic metrics
=================
The goal is to collect various (syntactic) information about the source code
(slocs, assignments, loops, ...).
From those one can compute McCabe's cyclomatic complexity.
class type sloc_visitor =object
..end
class slocVisitor :libc:bool ->
sloc_visitor
val get_global_metrics : libc:bool -> Metrics_base.BasicMetrics.t
type
cilast_metrics = {
|
fundecl_calls : |
|
fundef_calls : |
|
extern_global_vars : |
|
basic_global_metrics : |
val get_cilast_metrics : libc:bool -> cilast_metrics
val get_metrics_map : libc:bool ->
Metrics_base.BasicMetrics.t Metrics_base.OptionKf.Map.t
Datatype.Filepath.Map.t
val compute_on_cilast : libc:bool -> unit
val compute_locals_size : Kernel_function.t -> unit
val reachable_from_main : unit -> Cil_types.varinfo list option
None
if there is no entry point.val used_files : unit -> Datatype.Filepath.Set.t
reachable_from_main
).
This function requires a defined entry point.val pretty_used_files : Datatype.Filepath.Set.t -> unit
used_files
in a verbose way.