Nonterm plugin
Index of modules
Directory plugins
Section Nonterm
(in plugins/nonterm)
Nonterm
Nonterm_run
Register the plugin in the Frama-C kernel.