Filtering Categories of Alarms
Flags for filtering Alarms
RTE Generator Status & Emitters
Register the plugin in the Frama-C kernel.
Consult internal plug-in documentation for more details
Runtime Error annotation generation plugin
Visitors to iterate over Alarms and/or generate Code-Annotations