---
layout: default
css: plugin
title: Kernel & Plugins - Frama-C
---
<body class="page-template page-template-page-kernel_plugins page-template-page-kernel_plugins-php page page-id-16 nonTouch">
<div id="wrapper" class="hfeed">
{% include headers.html header=2 %}
<div id="container" class="mainContainer">
<div class="tabs">
<div class="wrap">
<a class="active tabLink" href="kernel-plugin.html">Plugins</a> <em></em> <a class="tabLink" href=
"/html/kernel.html">Kernel</a> <em></em> <a class="tabLink" href="/html/acsl.html">ACSL</a>
<div class="tabOptions">
<div class="pluginSearch">
<!-- <form class="searchForm" method="get" action="kernel-plugin.html" data-parsley-validate=""> -->
<!-- <button type="submit" class="submit searchLink" title="Search"><i class="icon icon-search"></i></button> -->
<!-- <input type="text" name="plugin" placeholder="Search for the plugins here" data-parsley-required=""> -->
<!-- <div class="error" id="top_search_error" style="display: none;" role="alert"></div> -->
<!-- </form> -->
<!-- Documentation plugin -->
<a class="btn" target="_blank" href="frama-c-plugin-development-guide.pdf"><span>Write Your Own Plugin</span></a>
</div>
</div>
</div>
</div>
<div class="pagePlugin pages">
<div class="wrap">
<div class="docListwrap">
{% for category in site.data.plugins_categories %}
<section>
<div class="docListTitle">
<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>
</div>
</div>
{% include footer.html %}
<div class="clear"></div>
</div>
</div>
</body>