Metrics plugin

Directory plugins

Section Metrics (in plugins/metrics)


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

GUI utilities for Metrics

Metrics_parameters
Register

Register the plugin in the Frama-C kernel.

Register_gui

Extension of the Frama-C GUI for the plugin.