RteGen plugin

API Documentation

The RteGen plugin is integrated with the Frama-C kernel:

This plugin is also dynamically registered:

Internal Documentation