Latest News

2 Dec. 2016 The Silicon 20161101 release of Frama-C is available.
04 July 2016 The first version of the Frama-Clang plugin, an experimental C++ front-end for Frama-C, is available.
31 May. 2016 The Aluminium 20160501 release of Frama-C is available.
14 Apr. 2016 Announcing the upcoming Frama-C Day 2016 .
11 Feb. 2016 The E-ACSL 0.6 plugin is available for download.
18 Jan. 2016 New open positions in the Frama-C team.

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…