Tag Archives: gui

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

Small improvements to the Frama-C GUI
André Maroneze on 8 April 2016

The Frama-C GUI received a few quality-of-life improvements that have not been announced during the Magnesium release. This post presents some of them, along with general GUI tips. We focus on general-purpose UI improvements, while another post will discuss new Value-specific features, related to the new Values tab. These UI...

Read More