Latest News
| 18 Jan. 2010 | An updated binary package for Mac OS X Intel is available (Why/Jessie version 2.23). |
| 6 Dec. 2009 | Why 2.23 is available and updates the Frama-C Jessie plugin. |
| 03 Dec. 2009 | User manual now available. |
| 17 Nov. 2009 | Binary packages for Mac OS X are available and contain the Jessie plugin. |
| 20 Oct. 2009 | A bundle Beryllium-20090902 + Why-2.21 is available. It contains the Frama-C Jessie plugin. |
| 20 Oct. 2009 | Why 2.21 release is available and contains the Frama-C Jessie plugin. |
| 02 Oct. 2009 | Updated manual available for the Value Analysis |
Getting Acquainted
| What is Frama-C |
Frama-C is an extensible 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… |