Skip to content
Snippets Groups Projects
kernel-plugin.html 3.10 KiB
---
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 %}
            <section>
              <div class="docListTitle">
                <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 %}
          </div>
        </div>
      </div>

      {% include footer.html %}

      <div class="clear"></div>
    </div>
  </div>
</body>