Index of modules


A
Acsl_stats [Metrics_acsl]
AstType [Metrics_parameters]
Set the ASTs on which the metrics should be computetd

B
BasicMetrics [Metrics_base]
Defining base metrics and operations on those
ByFunction [Metrics_parameters]
Activate metrics by function

C
Computed [Metrics_acsl]
Css_html
CyclomaticMetricsGUI [Register_gui]

E
Enabled [Metrics_parameters]
Activate metrics

F
Functions_acsl_stats [Metrics_acsl]

G
Global_acsl_stats [Metrics_acsl]

H
Halstead [Metrics_cabs]
Halstead metrics computation
HalsteadMetricsGUI [Register_gui]

M
Metrics_acsl
number of requires in function contracts
Metrics_base
Defining base metrics and operations on those
Metrics_cabs
Implementation of cyclomatic complexity measures on CAbs' AST
Metrics_cilast
Syntactic metrics ================= The goal is to collect various (syntactic) information about the source code (slocs, assignments, loops, ...).
Metrics_coverage
List of functions that can be syntactically reached from the function
Metrics_gui
Display the table_contents matrix as a GTK table
Metrics_parameters
Activate metrics

O
OutputFile [Metrics_parameters]
Pretty print metrics to the given file.

R
Register
Register_gui
This module defines abstraction for Metrics use

S
SyntacticallyReachable [Metrics_parameters]
Set of functions for which we compute the functions they may call

V
VInfoMap [Metrics_base]
Map of varinfos sorted by name (and not by ids)
ValueCoverage [Metrics_parameters]
Give an estimation about value analysis code penetration.
ValueCoverageGUI [Register_gui]
GUI hooks value coverage