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