Newer
Older
---
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="pluginSliderWrapper">
<div class="pluginSwiper swiper-container">
<div class="swiper-wrapper">
{% for plugin in site.fc-plugins %}
{% if plugin.swipper %}
<div class="swiper-slide" id="post_details" style="background-image: url(kernel-plugin.html);background-size:cover;">
<div>
<h3>{{ plugin.title }}<i class="icon-arrow-thin-rgt"></i></h3>
<p>{{ plugin.description }}</p>
<p><a class="readMore" href="{{ plugin.url }}">Read More</a></p>
</div>
</div>
{% endif %}
{% endfor %}
</div>
<div class="swiper-pagination"></div>
</div>
<div class="nextPrev">
<div class="swiper-button-prev"></div>
<div class="swiper-button-next"></div>
</div>
</div>
<div class="pagePlugin pages">
<div class="bgTextbig">
Plugin
</div>
<div class="wrap">
<div class="docListwrap">
{% for category in site.data.plugins_categories %}
<span>{{ category.name }}</span>
</div>
{% for plugin in site.fc-plugins %}
{% if plugin.key == category.key %}
<a role="link" href="{{ plugin.url }}" class="listItem">
<div>
<h4 class="listItemTitle" data-bgtext="{{ plugin.title }}"><span>{{ plugin.title }}</span></h4>
<p>{{ plugin.description }}</p>
</div>
</a>
{% endif %}
{% endfor %}
</section>
{% endfor %}