Index of modules


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

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
Visitor to compute various syntactic metrics.
Metrics_coverage
List of functions that can be syntactically reached from the function
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 respectives names.
VInfoSet [Metrics_base]
ValueCoverage [Metrics_parameters]
Give an estimation about value analysis code penetration.
ValueCoverageGUI [Register_gui]
GUI hooks value coverage