Filtering Categories of Alarms
Register the plugin in the Frama-C kernel.
Consult internal plug-in documentation for more details
Runtime Error annotation generation plugin