Frama-C - Framework for Modular Analysis of C programs

Jekyll2026-05-18T00:03:34+00:00https://frama-c.com/feed/blogs.xmlFrama-C - Framework for Modular Analysis of C programsFrama-C is an open-source extensible and collaborative platform dedicated to source-code analysis of C software. The Frama-C analyzers assist you in various source-code-related activities, from the navigation through unfamiliar projects up to the certification of critical software.Pointer alignment verification2026-03-02T12:00:00+00:002026-03-02T12:00:00+00:00https://frama-c.com/2026/03/02/pointer-alignmentAllan Blanchard (reviewed by Hugo Thievenaz, André Maroneze and Virgile Prevosto)

The Eva Abstract Debugger: A new way to explore and interact with the Frama-C/Eva static analyzer2026-02-02T00:00:00+00:002026-02-02T00:00:00+00:00https://frama-c.com/2026/02/02/Eva-abstract-debuggerJules Massart

Using Mopsa-Build to help preprocessing and parsing sources for Frama-C2025-09-19T00:00:00+00:002025-09-19T00:00:00+00:00https://frama-c.com/2025/09/19/mopsa-dbAndré Maroneze (reviewed by Virgile Prevosto)

On Dedicated Specification Languages Beyond ACSL contracts2025-06-13T00:00:00+00:002025-06-13T00:00:00+00:00https://frama-c.com/2025/06/13/dedicated-specification-languagesVirgile Prevosto

General tips for debugging preprocessing and parsing issues2024-09-18T20:00:00+00:002024-09-18T20:00:00+00:00https://frama-c.com/2024/09/18/preprocessing-tipsAndré Maroneze

Frama-C Days 2024 | Slides are available!2024-08-05T11:00:00+00:002024-08-05T11:00:00+00:00https://frama-c.com/2024/08/05/frama-c-days-slidesFrama-C Team

Frama-C Days 2024 | June, 13 and 14 Maison de la Radio et de la Musique2024-04-15T11:00:00+00:002024-04-15T11:00:00+00:00https://frama-c.com/2024/04/15/Frama-C-Days-2024Frama-C Team

New machdep mechanism in Frama-C2024-01-29T12:00:00+00:002024-01-29T12:00:00+00:00https://frama-c.com/2024/01/29/new-machdepAndré Maroneze

Cyberhackathon - Frama-C + Binsec - 28/04/232023-03-27T11:00:00+00:002023-03-27T11:00:00+00:00https://frama-c.com/2023/03/27/cyberhackathon-frama-c-binsecAndré Maroneze

Using Singularity/Apptainer for easy-to-use Docker images2023-02-01T18:00:00+00:002023-02-01T18:00:00+00:00https://frama-c.com/2023/02/01/singularity-for-easy-docker-imagesAndré Maroneze (kindly tested by D. Bühler, V. Prevosto et al)