Latest News

5 Jan. 2012 New release of Plug-in WP 0.5 for Nitrogen-20111001 is available.
5 Jan. 2012 New plug-in E-ACSL 0.1 is available.
10 Oct. 2011 Release Nitrogen 20111001 is available.
6 Apr. 2011 Plug-in WP 0.3 for release Carbon 20110201 is available.
6 Apr. 2011 Binary Mac OS X Intel package Carbon 20110201 including patchlevel 1 is available.

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 static 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…