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
BasicMetrics [Metrics.Metrics_base]
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]
Hashtbl [Datatype.S_with_collections]

K
Key [Datatype.Hashtbl]
Datatype for the keys of the hashtbl.
Key [Datatype.Map]
Datatype for the keys of the map.

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
Make [Datatype.Hashtbl]
Build a datatype of the hashtbl according to the datatype of values in the hashtbl.
Make [Datatype.Map]
Build a datatype of the map according to the datatype of values in the map.
Map [Datatype.S_with_collections]
Metrics
Metrics plugin.
Metrics_acsl
Visitor to compute various metrics about annotations
Metrics_base
Tag functions handling html tags for Format
Metrics_base [Metrics]
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_cilast [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
OptionKf [Metrics_base]
OptionKf [Metrics.Metrics_base]
OutputFile [Metrics_parameters]
Pretty print metrics to the given file.

R
Register
Register_gui
This module defines abstraction for Metrics use

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

U
UsedFiles [Metrics_parameters]

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