kernel-plugin.html

---
layout: feature
css: plugin
title: Kernel & Plugins - Frama-C
active: 1
---


<div class="pluginListwrap">
{% for category in site.data.plugins_categories %}
<section>
  <div class="pluginListTitle">
	<span>{{ category.name }}</span>
  </div>
  {% for distrib in site.data.plugins_distrib_mode %}
	{% for plugin in site.fc-plugins %}
	  {% if plugin.key == category.key and plugin.distrib_mode == distrib.key %}
	  <a role="link" href="{{ plugin.url }}" class="listItem">
		<div>
		  <h4 class="listItemTitle"><span>{{ plugin.title }}</span></h4>
		  <p>{{ plugin.description }}</p>
		  <p>{{ distrib.name }}</p>
		</div>
	  </a>
	  {% endif %}
	{% endfor %}
  {% endfor %}
</section>
{% endfor %}
</div>