The Curious Engineer

All blogs / C

Frama-C

frama-c.com

Articles related to the use of the Frama-C analysis platform.

CDev tools / editors / IDEsSecurity

’23’24’25’26
Posts
11 from 1 Feb 2023 to 16 Oct 2026
Posting
now and then (3 in the last year)
Kind
project news
Feed
https://frama-c.com/feed/blogs.xml

2026 3

  1. Internship Position at CEA LIST - LSL
  2. Pointer alignment verification
  3. The Eva Abstract Debugger: A new way to explore and interact with the Frama-C/Eva static analyzer

2025 2

  1. Using Mopsa-Build to help preprocessing and parsing sources for Frama-C
  2. On Dedicated Specification Languages Beyond ACSL contracts

2024 4

  1. General tips for debugging preprocessing and parsing issues
  2. Frama-C Days 2024 | Slides are available!
  3. Frama-C Days 2024 | June, 13 and 14 Maison de la Radio et de la Musique
  4. New machdep mechanism in Frama-C

2023 2

  1. Cyberhackathon - Frama-C + Binsec - 28/04/23
  2. Using Singularity/Apptainer for easy-to-use Docker images