Frama-C RSS News https://frama-c.com Frama-C events Mon, 16 Mar 2026 00:00:00 +0000 Mon, 11 May 2026 00:03:31 +0000 Release of Frama-C 32.1 (Germanium) https://frama-c.com/fc-versions/germanium.html Mon, 16 Mar 2026 00:00:00 +0000

Frama-C 32.1 (Germanium) is out. Download it here.

Frama-Clang v0.0.19 for Frama-C 32.0 Germanium https://frama-c.com/fc-plugins/frama-clang.html Wed, 04 Mar 2026 00:00:00 +0000

Frama-Clang v0.0.19 is out.

2-year Computer Scientist Position at CEA LIST - LSL https://frama-c.com/jobs/2026-02-12-fixed-term-codex-eva.html Wed, 11 Feb 2026 00:00:00 +0000

Advanced Modular Static Analysis by Integration of Codex into Frama-C

LAnnotate v0.2.5 for Frama-C 32.0 Germanium https://frama-c.com/fc-plugins/ltest.html Fri, 06 Feb 2026 00:00:00 +0000

LAnnotate v0.2.5 is out.

MetAcsl v0.10 for Frama-C 32.0 Germanium https://frama-c.com/fc-plugins/metacsl.html Thu, 29 Jan 2026 00:00:00 +0000

MetAcsl v0.10 is out.

Release of Frama-C 32.0 (Germanium) https://frama-c.com/fc-versions/germanium.html Wed, 03 Dec 2025 00:00:00 +0000

Frama-C 32.0 (Germanium) is out. Download it here.

Read more...

Internship Position at CEA List - LSL https://frama-c.com/jobs/2025-11-24-internships-llm4fc.html Mon, 24 Nov 2025 00:00:00 +0000

Agentic Software Specification and Verification with Frama-C

Beta release of Frama-C 32.0~beta (Germanium) https://frama-c.com/fc-versions/germanium.html Tue, 04 Nov 2025 00:00:00 +0000

Frama-C 32.0~beta (Germanium) is out. Download it here.

Internship Position at CEA LIST - LSL https://frama-c.com/jobs/2025-10-13-internships-program-representations-for-ml.html Mon, 13 Oct 2025 00:00:00 +0000

Program representations for Deep Learning

Internship Position at CEA LIST - LSL https://frama-c.com/jobs/2025-10-13-internships-eva.html Mon, 13 Oct 2025 00:00:00 +0000

Cybersecurity and Safety analysis with Frama-C / Eva

Internship Position at CEA LIST - LSL https://frama-c.com/jobs/2025-10-13-internships-eva-parallelism.html Mon, 13 Oct 2025 00:00:00 +0000

Parallel Abstract Interpretation

LUncov v0.2.4 for Frama-C 31.0 Gallium https://frama-c.com/fc-plugins/ltest.html Wed, 09 Jul 2025 00:00:00 +0000

LUncov v0.2.4 is out.

LAnnotate v0.2.4 for Frama-C 31.0 Gallium https://frama-c.com/fc-plugins/ltest.html Mon, 07 Jul 2025 00:00:00 +0000

LAnnotate v0.2.4 is out.

MetAcsl v0.9 for Frama-C 31.0 Gallium https://frama-c.com/fc-plugins/metacsl.html Wed, 25 Jun 2025 00:00:00 +0000

MetAcsl v0.9 is out.

Read more...

Frama-Clang v0.0.18 for Frama-C 31.0 Gallium https://frama-c.com/fc-plugins/frama-clang.html Wed, 25 Jun 2025 00:00:00 +0000

Frama-Clang v0.0.18 is out.

Release of Frama-C 31.0 (Gallium) https://frama-c.com/fc-versions/gallium.html Tue, 24 Jun 2025 00:00:00 +0000

Frama-C 31.0 (Gallium) is out. Download it here.

3-year Computer Scientist Position at CEA LIST - LSL https://frama-c.com/jobs/2025-06-20-fixed-term-link.html Fri, 20 Jun 2025 00:00:00 +0000

Design and develop the new symbolic linker of Frama-C

3-year Computer Scientist Position at CEA LIST - LSL https://frama-c.com/jobs/2025-06-20-fixed-tem-ast.html Fri, 20 Jun 2025 00:00:00 +0000

Design and develop the new AST of Frama-C

MetAcsl v0.9~beta for Frama-C 31.0~beta Gallium https://frama-c.com/fc-plugins/metacsl.html Tue, 27 May 2025 00:00:00 +0000

MetAcsl v0.9~beta is out.

Beta release of Frama-C 31.0~beta (Gallium) https://frama-c.com/fc-versions/gallium.html Tue, 27 May 2025 00:00:00 +0000

Frama-C 31.0~beta (Gallium) is out. Download it here.

Frama-Clang v0.0.18~beta for Frama-C 31.0~beta Gallium https://frama-c.com/fc-plugins/frama-clang.html Tue, 27 May 2025 00:00:00 +0000

Frama-Clang v0.0.18~beta is out.

Postdoc Position at CEA List - LSL https://frama-c.com/jobs/2025-04-17-e-acsl-rte-assigns.html Thu, 17 Apr 2025 00:00:00 +0000

Runtime Verification of Dependency Properties with Undefinedness

Postdoc Position at CEA List - LSL https://frama-c.com/jobs/2025-01-20-outline-rac.html Mon, 20 Jan 2025 00:00:00 +0000

Outline Runtime Annotation Checking

PhD Position at CEA List - LSL https://frama-c.com/jobs/2025-01-20-multistate-rac.html Mon, 20 Jan 2025 00:00:00 +0000

Runtime Verification of Multi-State Properties

Read more...

MetAcsl v0.8 for Frama-C 30.0 Zinc https://frama-c.com/fc-plugins/metacsl.html Wed, 11 Dec 2024 00:00:00 +0000

MetAcsl v0.8 is out.

Frama-Clang v0.0.17 for Frama-C 30.0~ Zinc https://frama-c.com/fc-plugins/frama-clang.html Mon, 09 Dec 2024 00:00:00 +0000

Frama-Clang v0.0.17 is out.

Release of Frama-C 30.0 (Zinc) https://frama-c.com/fc-versions/zinc.html Thu, 05 Dec 2024 00:00:00 +0000

Frama-C 30.0 (Zinc) is out. Download it here.

MetAcsl v0.8~beta for Frama-C 30.0~ Zinc https://frama-c.com/fc-plugins/metacsl.html Fri, 15 Nov 2024 00:00:00 +0000

MetAcsl v0.8~beta is out.

frama-clang v0.0.17~beta for Frama-C 30.0~ Zinc https://frama-c.com/fc-plugins/frama-clang.html Fri, 15 Nov 2024 00:00:00 +0000

frama-clang v0.0.17~beta is out.

Read more...

Beta release of Frama-C 30.0~beta (Zinc) https://frama-c.com/fc-versions/zinc.html Thu, 07 Nov 2024 00:00:00 +0000

Frama-C 30.0~beta (Zinc) is out. Download it here.

Internship Position at CEA List - LSL https://frama-c.com/jobs/2024-10-07-frama-c-lsif.html Mon, 07 Oct 2024 00:00:00 +0000

Context: CEA LIST, Software Security and Reliability Lab

Internship Position at CEA List - LSL https://frama-c.com/jobs/2024-07-10-abstraction-internship.html Mon, 07 Oct 2024 00:00:00 +0000

Context: CEA LIST, Software Security and Reliability Lab

MetAcsl v0.7 for Frama-C 29.0~ Copper https://frama-c.com/fc-plugins/metacsl.html Thu, 03 Oct 2024 00:00:00 +0000

MetAcsl v0.7 is out.

Frama-Clang v0.0.16 for Frama-C 29.0 Copper https://frama-c.com/html/news.html#2024-09-05 Thu, 05 Sep 2024 00:00:00 +0000

Frama-Clang v0.0.16 is out.

The Guide to Software Verification with Frama-C is available https://link.springer.com/book/10.1007/978-3-031-55608-1 Thu, 08 Aug 2024 00:00:00 +0000

The Guide to Software Verification with Frama-C is now available. This book gathers contributions from 39 authors. We hope that it will help you with code analysis using Frama-C!

The slides presented at Frama-C Days 2024 are available https://frama-c.com/html/publications/frama-c-days-2024/index.html Mon, 05 Aug 2024 00:00:00 +0000

The slides presented at the Frama-C Days 2024 are now available. We would like to thank again all participants for this amazing event!

Read more...

Release of Frama-C 29.0 (Copper) https://frama-c.com/fc-versions/copper.html Thu, 06 Jun 2024 00:00:00 +0000

Frama-C 29.0 (Copper) is out. Download it here.

Beta release of Frama-C 29.0~beta (Copper) https://frama-c.com/fc-versions/copper.html Tue, 14 May 2024 00:00:00 +0000

Frama-C 29.0~beta (Copper) is out. Download it here.

Postdoc Position at CEA List - LSL https://frama-c.com/jobs/2024-04-22-public-private-contract.html Mon, 22 Apr 2024 00:00:00 +0000

Private and public contracts for ACSL

Postdoc Position at CEA List - LSL https://frama-c.com/jobs/2024-04-22-designing-compilation-techniques-for-improving-efficiency-of-e-acsl.html Mon, 22 Apr 2024 00:00:00 +0000

Designing Compilation Techniques for Improving Efficiency of E-ACSL, a Runtime Assertion Checker for C Programs

Frama-C Days 2024 https://frama-c.com/2024/04/15/Frama-C-Days-2024.html Mon, 15 Apr 2024 00:00:00 +0000

After 5 years of absence, the Frama-C Days are back!

Frama-Clang v0.0.15 for Frama-C 28.0 Nickel https://frama-c.com/fc-plugins/frama-clang.html Mon, 25 Mar 2024 00:00:00 +0000

Frama-Clang v0.0.15 is out.

Release of Frama-C 28.1 (Nickel) https://frama-c.com/fc-versions/nickel.html Fri, 01 Mar 2024 00:00:00 +0000

Frama-C 28.1 (Nickel) is out. Download it here.

MetAcsl v0.6 for Frama-C 28.0 Nickel https://frama-c.com/fc-plugins/metacsl.html Fri, 16 Feb 2024 00:00:00 +0000

MetAcsl v0.6 is out.

Read more...

Internship Position at CEA LIST - LSL https://frama-c.com/jobs/2023-12-07-internships-refinement.html Thu, 07 Dec 2023 00:00:00 +0000

Release of Frama-C 28.0 (Nickel) https://frama-c.com/fc-versions/nickel.html Thu, 30 Nov 2023 00:00:00 +0000

Frama-C 28.0 (Nickel) is out. Download it here.

Read more...

MetAcsl for Frama-C 27.x Cobalt https://frama-c.com/fc-plugins/metacsl.html Tue, 07 Nov 2023 00:00:00 +0000

Following the release of Frama-C 27.0 (Cobalt), MetAcsl v0.5 is out. The corresponding opam package should be available soon.

Permanent Computer Scientist Position at CEA LIST - LSL https://frama-c.com/jobs/2023-10-26-permanent-computer-scientist-abstract-interpretation.html Thu, 26 Oct 2023 00:00:00 +0000

LSL Laboratory

Read more...

Beta release of Frama-C 28.0~beta (Nickel) https://frama-c.com/fc-versions/nickel.html Thu, 26 Oct 2023 00:00:00 +0000

Frama-C 28.0~beta (Nickel) is out. Download it here.

Release of Frama-Clang 0.0.14 https://frama-c.com/fc-plugins/frama-clang.html Thu, 07 Sep 2023 00:00:00 +0000

Frama-Clang 0.0.14 is out. You can download the sources here.

Read more...

Release of Frama-C 27.1 (Cobalt) https://frama-c.com/fc-versions/cobalt.html Tue, 18 Jul 2023 00:00:00 +0000

Frama-C 27.1 (Cobalt) is out. Download it here.

Release of Frama-C 27.0 (Cobalt) https://frama-c.com/fc-versions/cobalt.html Thu, 15 Jun 2023 00:00:00 +0000

Frama-C 27.0 (Cobalt) is out. Download it here.

Beta release of Frama-C 27.0~beta (Cobalt) https://frama-c.com/fc-versions/cobalt.html Tue, 16 May 2023 00:00:00 +0000

Frama-C 27.0~beta (Cobalt) is out. Download it here.

Cyberhackathon Frama-C + Binsec https://frama-c.com/2023/03/27/cyberhackathon-frama-c-binsec.html Fri, 28 Apr 2023 00:00:00 +0000

If you are near Paris, come to the Cyber-hackathon Frama-C + Binsec, on 28/04 from 9h to 17h, at CEA List, in the Paris-Saclay campus (Nano-Innov, 2 bd Thomas Gobert, 91120 Palaiseau)!

3-year Engineer Position at CEA LIST - LSL https://frama-c.com/jobs/2023-02-28-fixed-term-use-case.html Tue, 28 Feb 2023 00:00:00 +0000

Mission

3-year Computer Scientist Position at CEA LIST - LSL https://frama-c.com/jobs/2023-02-28-fixed-term-kernel.html Tue, 28 Feb 2023 00:00:00 +0000

Mission

3-year Engineer Position at CEA LIST - LSL https://frama-c.com/jobs/2023-02-28-fixed-term-ivette.html Tue, 28 Feb 2023 00:00:00 +0000

Mission

3-year Computer Scientist Position at CEA LIST - LSL https://frama-c.com/jobs/2023-02-28-fixed-term-analysis.html Tue, 28 Feb 2023 00:00:00 +0000

Mission

Release of Frama-C 26.1 (Iron) https://frama-c.com/fc-versions/iron.html Wed, 15 Feb 2023 00:00:00 +0000

Frama-C 26.1 (Iron) is out. Download it here.

MetAcsl for Frama-C 26.0 Iron https://frama-c.com/fc-plugins/metacsl.html Fri, 09 Dec 2022 00:00:00 +0000

Following the release of Frama-C 26.0 (Iron), MetAcsl v0.4 is out. The corresponding opam package should be available soon.

Release of Frama-C 26.0 (Iron) https://frama-c.com/fc-versions/iron.html Wed, 23 Nov 2022 00:00:00 +0000

Frama-C 26.0 (Iron) is out. Download it here.

Internship Position at CEA LIST - LSL https://frama-c.com/jobs/2022-11-04-internship-ml4eva.html Fri, 04 Nov 2022 00:00:00 +0000

Deep Learning for improving formal verification with Frama-C / Eva

Beta release of Frama-C 26.0~beta (Iron) https://frama-c.com/fc-versions/iron.html Fri, 28 Oct 2022 00:00:00 +0000

Frama-C 26.0~beta (Iron) is out. Download it here.

Internship Position at CEA LIST - LSL https://frama-c.com/jobs/2022-10-21-internships-eva.html Fri, 21 Oct 2022 00:00:00 +0000

Cybersecurity and Safety analysis with Frama-C / Eva

Release of Frama-Clang 0.0.13 https://frama-c.com/fc-plugins/frama-clang.html Thu, 06 Oct 2022 00:00:00 +0000

Frama-Clang 0.0.13 is out. Download it here.

Release of Frama-C 25.0 (Manganese) https://frama-c.com/fc-versions/manganese.html Tue, 21 Jun 2022 00:00:00 +0000

Frama-C 25.0 (Manganese) is out. Download it here.

Beta release of Frama-C 25.0~beta (Manganese) https://frama-c.com/fc-versions/manganese.html Wed, 11 May 2022 00:00:00 +0000

Frama-C 25.0~beta (Manganese) is out. Download it here.

Release of Frama-Clang 0.0.12 https://frama-c.com/fc-plugins/frama-clang.html Tue, 12 Apr 2022 00:00:00 +0000

Frama-Clang 0.0.12 is out. Download it here.

Read more...

Release of LTest 0.1 https://frama-c.com/fc-plugins/ltest.html Fri, 08 Apr 2022 00:00:00 +0000

The LTest toolset is available in opam. More information here.

PhD Position at CEA LIST - LSL https://frama-c.com/jobs/2022-03-28-machine-learning-for-improving-formal-verification-of-code.html Mon, 28 Mar 2022 00:00:00 +0000

Machine Learning for Improving Formal Verification of Code

Permanent Computer Scientist Position at CEA LIST - LSL https://frama-c.com/jobs/2022-02-01-permanent-computer-scientist-cyber-security-verification.html Tue, 01 Feb 2022 00:00:00 +0000

Mission

Release of Frama-C 24.0 (Chromium) https://frama-c.com/fc-versions/chromium.html Tue, 30 Nov 2021 00:00:00 +0000

Frama-C 24.0 (Chromium) is out. Download it here.

Beta release of Frama-C 24.0-beta (Chromium) https://frama-c.com/fc-versions/chromium.html Thu, 04 Nov 2021 00:00:00 +0000

Frama-C 24.0-beta (Chromium) is out. Download it here.

PhD Position at CEA List - LSL https://frama-c.com/jobs/2021-08-05-outline-runtime-assertion-checking.html Thu, 05 Aug 2021 00:00:00 +0000

Outline Runtime Assertion Checking

Postdoc Position at CEA List - LSL https://frama-c.com/jobs/2021-08-05-control-flow-integrity-for-remote-attestation.html Thu, 05 Aug 2021 00:00:00 +0000

Control Flow Integrity for Remote Attestation

Release of Frama-C 23.1 (Vanadium) https://frama-c.com/fc-versions/vanadium.html Wed, 21 Jul 2021 00:00:00 +0000

Frama-C 23.1 (Vanadium) is out. Download it here.

Release of Frama-Clang 0.0.11 https://frama-c.com/fc-plugins/frama-clang.html Tue, 13 Jul 2021 00:00:00 +0000

Frama-Clang 0.0.11 is out. Download it here.

Read more...

Release of Frama-C 23.0 (Vanadium) https://frama-c.com/fc-versions/vanadium.html Tue, 06 Jul 2021 00:00:00 +0000

Frama-C 23.0 (Vanadium) is out. Download it here.

Beta release of Frama-C 23.0~rc1 (Vanadium) https://frama-c.com/fc-versions/vanadium.html Thu, 20 May 2021 00:00:00 +0000

Frama-C 23.0~rc1 (Vanadium) is out. Download it here.

Release of Frama-Clang 0.0.10 https://frama-c.com/fc-plugins/frama-clang.html Mon, 08 Mar 2021 00:00:00 +0000

Frama-Clang 0.0.10 is out. Download it here.

First release of MetAcsl plugin https://frama-c.com/fc-plugins/metacsl.html Wed, 09 Dec 2020 00:00:00 +0000

Following the release of Frama-C 22.0 (Titanium), MetAcsl v0.1 is out and ready to be installed via opam install frama-c-metacsl.

Release of Frama-C 22.0 (Titanium) https://frama-c.com/fc-versions/titanium.html Fri, 20 Nov 2020 00:00:00 +0000

Frama-C 22.0 (Titanium) is out. Download it here.

Beta release of Frama-C 22.0-beta (Titanium) https://frama-c.com/fc-versions/titanium.html Wed, 28 Oct 2020 00:00:00 +0000

Frama-C 22.0-beta (Titanium) is out. Download it here.

Release of Frama-Clang 0.0.9 https://frama-c.com/fc-plugins/frama-clang.html Wed, 15 Jul 2020 00:00:00 +0000

Frama-Clang 0.0.9 is out. Download it here.

Release of Frama-C 21.1 (Scandium) https://frama-c.com/fc-versions/scandium.html Thu, 25 Jun 2020 00:00:00 +0000

Frama-C 21.1 (Scandium) is out. Download it here.

Release of Frama-C 21.0 (Scandium) https://frama-c.com/fc-versions/sandium.html Fri, 12 Jun 2020 00:00:00 +0000

Frama-C 21.0 (Scandium) is out. Download it here.

Release of Frama-Clang 0.0.8 https://frama-c.com/fc-plugins/frama-clang.html Tue, 10 Mar 2020 00:00:00 +0000

Frama-Clang 0.0.8 is out. Download it here.

Release of Frama-C 20.0 (Calcium) https://frama-c.com/fc-versions/calcium.html Wed, 04 Dec 2019 00:00:00 +0000

Frama-C 20.0 (Calcium) is out. Download it here.

Release of Frama-C 19.1 (Potassium) https://frama-c.com/fc-versions/potassium.html Tue, 17 Sep 2019 00:00:00 +0000

Frama-C 19.1 (Potassium) is out. Download it here.

Release of Frama-Clang 0.0.7 https://frama-c.com/fc-plugins/frama-clang.html Fri, 13 Sep 2019 00:00:00 +0000

Frama-Clang 0.0.7 is out. Download it here.

Release of Frama-C 19.0 (Potassium) https://frama-c.com/fc-versions/potassium.html Fri, 21 Jun 2019 00:00:00 +0000

Frama-C 19.0 (Potassium) is out. Download it here.

Frama-C and SPARK Day 2019 https://frama-c.com/html/news.html#2019-05-18 Sat, 18 May 2019 00:00:00 +0000

Frama-C & SPARK Day 2019 will take place on June 3, 2019 in Paris.

Release of Frama-C 18.0 (Argon) https://frama-c.com/fc-versions/argon.html Mon, 29 Oct 2018 00:00:00 +0000

Frama-C 18.0 (Argon) is out. Download it here.

Release of Frama-Clang 0.0.6 https://frama-c.com/fc-plugins/frama-clang.html Mon, 23 Jul 2018 00:00:00 +0000

Frama-Clang 0.0.6, compatible with Frama-C 17 Chlorine, is out. Download it here.

Release of Frama-C 17.0 (Chlorine) https://frama-c.com/fc-versions/chlorine.html Thu, 31 May 2018 00:00:00 +0000

Frama-C 17.0 (Chlorine) is out. Download it here.

Release of Frama-Clang 0.0.5 https://frama-c.com/fc-plugins/frama-clang.html Mon, 19 Feb 2018 00:00:00 +0000

Frama-Clang 0.0.5, fixing compatibility issue with Debian/Ubuntu, is out. Download it here.

Release of Frama-Clang 0.0.4 https://frama-c.com/fc-plugins/frama-clang.html Thu, 21 Dec 2017 00:00:00 +0000

Frama-Clang 0.0.4, compatible with Frama-C 16, is out. Download it here.

Release of Frama-C 16.0 (Sulfur) https://frama-c.com/fc-versions/sulfur.html Wed, 29 Nov 2017 00:00:00 +0000

Frama-C 16.0 (Sulfur) is out. Download it here.

Release of Frama-Clang 0.0.3 https://frama-c.com/fc-plugins/frama-clang.html Wed, 02 Aug 2017 00:00:00 +0000

Frama-Clang 0.0.3, compatible with Frama-C 15, is out. Download it here.

Release of Frama-C 15.0 (Phosphorus) https://frama-c.com/fc-versions/phosphorus.html Wed, 31 May 2017 00:00:00 +0000

Frama-C 15.0 (Phosphorus) is out. Download it here.