Metrics plugin
API Documentation
The Metrics API is dynamically registered.
Frama-C
complete kernel API
Dynamic
kernel registry for plugins' API
Dynamically registered plugins
API index
Plugin Internal Documentation
Metrics
architecture (SVG format)
Index of
Modules
Index of
Types
Index of
Values
Index of
Exceptions