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
|