Report plugin
API Documentation
The Report plugin is integrated with the Frama-C kernel:
Frama-C
complete kernel API
Report
available kernel API
This plugin is also dynamically registered:
Report
dynamic API
dynamically registered plugins
index
Dynamic
kernel registery for plugins' API
Internal Documentation
Report
architecture (SVG format)
Index of
Modules
Index of
Types
Index of
Values
Index of
Exceptions