Blog

Analysis scripts: helping automate case studies, part 1
André Maroneze on 25 January 2018

(kindly reviewed by T. Antignac, D. Bühler and F. Kirchner) Among Frama-C 16 Sulfur’s new features, one of them is dedicated to help setting up and iterating case studies. In this series of posts, we will explain how to use such scripts to save time when starting a new case...

Read More

Frama-C appears on European Commission's Innovation Radar
Virgile Prevosto on 21 September 2017

tl;dr Frama-C is among the 10 innovative products selected in the “Tech for society” category. Be sure to cast your vote to help your favorite static analyzer making its way through the final in Budapest. Stance Project Between 2012 and 2016, CEA Tech List was the coordinator of the STANCE...

Read More

Frama-C 15 (Phosphorus) released, and open source case studies
André Maroneze on 13 June 2017

Frama-C 15 (Phosphorus) has been released, and the OPAM package is already available! A MinGW-based OPAM package, distributed by fdopen’s MinGW OPAM repository, is also available. In this post, we briefly highlight two new features in this release. We also announce the release of a new Github repository, open-source-case-studies, which...

Read More

A simple Eva tutorial, part 3
André Maroneze on 11 April 2017

In the previous post we’ve seen how to run Eva, but at the end we had a NON TERMINATING FUNCTION for a function that is supposed to always terminate, a likely indication that a definitive undefined behavior has been found in the analysis. In this post, we will see how...

Read More

A simple Eva tutorial, part 2
André Maroneze on 17 March 2017

In the previous post we’ve seen some recommendations about using Frama-C/Eva, and some tips about parsing. In this post, we will see how to run Eva, and how to quickly setup it for a more precise result. We will reuse the save file produced at the end of the parsing,...

Read More