Blog

Tag Archives: gui

Analysis scripts: helping automate case studies, part 2
André Maroneze on 15 February 2018

In the previous post, we used analysis-scripts to prepare our analysis of Recommender. In this post, we will run EVA on the code and see how the iterative refinement of the analysis can be done. We assume the reader has performed all of the steps in the previous post, and...

Read More

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

On 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

On 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

A simple Eva tutorial, part 1
André Maroneze on 7 March 2017

(with the collaboration of T. Antignac, Q. Bouillaguet, F. Kirchner and B. Yakobowski) This is the first of a series of posts on a new Eva tutorial primarily aimed at beginners (some of the later posts contain more advanced content). Reminder: Eva is the new name of the Value analysis...

Read More

Frama-C Silicon has been released!
André Maroneze on 13 December 2016

Frama-C 14 (Silicon) has just been released. In this post, we present a few additions that should help everyday usage of Value EVA. Value is now EVA The Value analysis plug-in has been renamed EVA, for Evolved Value Analysis. It has a new architecture that allows plugging abstract domains, among...

Read More