Latest News

19 Feb 2018 frama-clang 0.0.5, fixing compatibility issue with Debian/Ubuntu, is out. Download it here .
21 Dec 2017 frama-clang 0.0.4, compatible with Frama-C 16 is out. Download it here .
28 Nov. 2017 Frama-C 16 - Sulfur is out. Download it here .
02 Aug. 2017 frama-clang 0.0.3, compatible with Frama-C 15 is out. Download it here .
20 Apr. 2017 Announcing the upcoming Frama-C & SPARK Day 2017 .

Getting Acquainted

What is Frama-C Frama-C is an extensible and collaborative platform dedicated to source-code analysis of C software.
Read more…
Getting Frama-C Frama-C is Open Source software.
It works on Windows and Unix (Linux, Mac OS X,…)
Get it now…
Community A public mailing list and a bug tracking system are provided to both academic and industrial users.
Join us…

Working with Frama-C

Features 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.
Take the tour…
Architecture Frama-C is an extensible framework. You can easily build upon the existing plug-ins to implement your own analysis. Plug-in factory…