Index of modules


A
AstType [Metrics_parameters]
Set the ASTs on which the metrics should be computed

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

C
Css_html
CyclomaticMetricsGUI [Register_gui]

E
Enabled [Metrics_parameters]
Activate metrics

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

L
Libc [Metrics_parameters]
LocalsSize [Metrics_parameters]
Compute and print the total size of local variables for all functions in this set (option -metrics-locals-size)

M
Metrics
Metrics plugin.
Metrics_acsl
Visitor to compute various metrics about annotations
Metrics_base
Tag functions handling html tags for Format
Metrics_cabs
Metrics computing on Cabs
Metrics_cilast
In the definitions below, setting argument libc to true will include functions/variables from the C stdlib in the metrics.
Metrics_coverage
In the definitions below, setting argument libc to true will include functions/variables from the C stdlib in the metrics.
Metrics_coverage [Metrics]
Metrics_gui
GUI utilities for Metrics
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]
Local varinfo map and set where the comparison function is the lexicographic one on their respective names.
VInfoSet [Metrics_base]
ValueCoverage [Metrics_parameters]
Give an estimation about value analysis code penetration.
ValueCoverageGUI [Register_gui]
GUI hooks value coverage