Tag Archives: gui

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