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] |
List 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
|