Index of modules

Set the ASTs on which the metrics should be computed

Defining base metrics and operations on those

Activate metrics by function

Activate metrics

Halstead metrics computation

Datatype for the keys of the hashtbl.

Datatype for the keys of the map.

Compute and print the total size of local variables for all functions in this set (option -metrics-locals-size)

Build a datatype of the hashtbl according to the datatype of values in the hashtbl.

Build a datatype of the map according to the datatype of values in the map.

Metrics plugin.

Visitor to compute various metrics about annotations

Tag functions handling html tags for Format

See Metrics_base.

Metrics computing on Cabs

In the definitions below, setting argument libc to true will include functions/variables from the C stdlib in the metrics.

See Metrics_cilast.

In the definitions below, setting argument libc to true will include functions/variables from the C stdlib in the metrics.

See Metrics_coverage.

GUI utilities for Metrics

Nothing is exported.

Pretty print metrics to the given file.

Register the plugin in the Frama-C kernel.

Extension of the Frama-C GUI for the plugin.

Set of functions for which we compute the functions they may call

Local varinfo map and set where the comparison function is the lexicographic one on their respective names.

Give an estimation about value analysis code penetration.