Frama-C Days 2024 | Slides are available! Frama-C Team on 5 August 2024
This page redirects to the Frama-C Days 2024 Slides Gallery
Read MoreBlog
Frama-C Days 2024 | June, 13 and 14
Maison de la Radio et de la Musique Frama-C Team on 15 April 2024
After 5 years of absence, the Frama-C Days are back! On June 13 and 14, will be held the Frama-C Days at Maison de la Radio et de la Musique in Paris. What to expect? Many exciting interventions from both academic and industrial users of the Frama-C environment, for sharing...
Read MoreNew machdep mechanism in Frama-C André Maroneze on 29 January 2024
A machdep (for machine-dependent) in Frama-C is a set of architecture-specific configurations, which include: integer sizes, predefined macros, compiler type, standard library constants, etc. They are essential when analyzing embedded, non-portable code. Thanks to some C11 features, the machdep generation mechanism has been revised in Frama-C, allowing users to more...
Read MoreCyberhackathon - Frama-C + Binsec - 28/04/23 André Maroneze on 27 March 2023
(This is an announcement for an event near Paris; first follows the French version, then an English version.) Si vous êtes près de Paris, venez au Cyber-hackathon Frama-C + Binsec, le 28/04 de 9h à 17h, au CEA List, dans le campus Paris-Saclay (Nano-Innov, 2 bd Thomas Gobert, 91120 Palaiseau)...
Read MoreUsing Singularity/Apptainer for easy-to-use Docker images André Maroneze (kindly tested by D. Bühler, V. Prevosto et al) on 1 February 2023
The Frama-C Docker images are useful for continuous integration, but for interactive use, they are not very practical: by default, Docker does not provide access to the local filesystem, and running the Frama-C GUI requires using derived tools such as x11docker. In this post, we briefly show an alternative, with...
Read More