Metrics plugin

Directory plugins

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
Metrics_pivot	Nothing is exported.
Register	Register the plugin in the Frama-C kernel.
Register_gui	Extension of the Frama-C GUI for the plugin.