---
layout: default
title: Blog - Frama-C
css: blog
---

<div id="wrapper" class="hfeed">

	{% include headers.html header=5 title=Blog %}

<div id="container" class="mainContainer">
  <div class="defaultPage blogsPage" id="content" role="main">
	<div class="contentWrap">
	  <h1><strong>Blog</strong></h1>

	  <form class="searchForm mobileOnly" action="../index.html">
		<button type="submit" class="submit searchLink pull-left disabled" title="Search"><i class=
		"icon icon-search"></i></button><input type="text" name="s" value="" required="" placeholder=
		"Search for the post here"><input type="hidden" name="post_type" value="post">

		<div class="error" id="top_search_error" style="display: none;" role="alert">
		  Enter Search Term
		</div>
	  </form>
	</div>

	<div class="contentWrap">
	  <div class="blogsSection">
		<div class="blogsSectionContent">
		{% if page.paginator %}
		  {% assign paginator = page.paginator %}
		  <div class="goBackBtn">
            <a class="goBack" href="/html/blog.html"><i class="icon-arrow-left"></i>Back</a>
          </div>
          <h2 class="searchTitle"><span>Tag Archives:</span> <span class="search-terms">{{ page.title }}</span></h2>
		{% endif %}
		
		  <div class="postLists">
		  {% for post in paginator.posts %}
			<article>
			  <figure>
				<a href="{{ post.url }}" class="img" style=
				"background-image: url(/assets/img/default-blog.jpg);"></a>
			  </figure>

			  <div class="content">
				<h3><a href="{{ post.url }}">{{ post.title }}</a>

				<address>
				  {{ post.author }} on {{ post.date | date: "%-d %B %Y" }}
				</address></h3>

				<p>{{ post.content | strip_html | truncatewords: 50 }}</p><a href="{{ post.url }}">Read More</a>
			  </div>
			</article>
		  {% endfor %}
		  </div>

		  {% if paginator.total_pages > 1 %}
		  <div class="pagination clearfix">
			{% if paginator.previous_page %}
			  <a class="prev page-numbers" href="{{ paginator.previous_page_path }}">« Previous</a>
			{% endif %}
			{% for page in (1..paginator.total_pages) %}
			  {% if page == paginator.page %}
			    <span class='page-numbers current'>{{ page }}</span>
			  {% elsif page == 1%}
			    <a class='page-numbers' href="/blog/index.html">{{ page }}</a>
			  {% else %}
			    <a class='page-numbers' href="{{ site.paginate_path | replace: ':num', page }}">{{ page }}</a>
			  {% endif %}
			{% endfor %}
			{% if paginator.next_page %}
			  <a class="next page-numbers" href="{{ paginator.next_page_path }}">Next »</a>
			{% endif %}
		  </div>
		  {% endif %}
		</div>

		<aside id="sidebar" role="complementary">
		  <div id="sidebar_iv_point" class="inviewTop"></div>

		  <div id="sidebar_wrap" class="sidebarWrap">
			<form class="searchForm" action="../index.html" data-parsley-validate="">
			  <input type="text" name="s" required="" value="" placeholder="Search for the post here"> <input type="hidden"
			  name="post_type" value="post"> <button type="submit" class="submit searchLink pull-left disabled" title=
			  "Search"><i class="icon icon-search"></i></button>

			  <div class="error" id="top_search_error" style="display: none;" role="alert">
				Enter Search Term
			  </div>
			</form>

			<div class="tagsList">
			  <h4>Popular tags</h4>

			  <nav>
			    {% for category in site.categories %}
				{% if page.paginator and page.title == category[0] %}
				<a href="/category/{{ category[0] }}/index.html" class="btn btnCancel active"><span>{{ category[0] }}</span></a>
				{% else %}
				<a href="/category/{{ category[0] }}/index.html" class="btn btnCancel"><span>{{ category[0] }}</span></a>
				{% endif %}
				{% endfor %}
			  </nav>
			</div>

			<div class="feedsList">
			  <h4>Feed</h4><a href="/html/feed.html" target="_blank">Feed</a>
			</div>
		  </div>
		</aside>
	  </div>
	</div>
  </div>
</div>
</div>