--- layout: feature css: plugin title: Kernel & Plugins - Frama-C description: "Overview of all the analyzers of the Frama-C analysis platform." active: "kernel-plugin" --- {% for category in site.data.plugins_categories %}
{{ plugin.description }}
{{ distrib.name }}
{% endif %} {% endfor %} {% endfor %}