Latest News
| 21 Jul. 2010 | New video illustrating an industrial use case. |
| 07 Jun. 2010 | Binary Mac OS X Intel package Boron-20100401-Why 2.26 available. |
| 01 Jun. 2010 | ACSL by Example updated for Boron by Fraunhofer FIRST as part of the Device-Soft project. |
| 31 May 2010 | Binary Windows bundle Boron-20100401-Why 2.26 is available. |
| 19 Apr. 2010 | Bundle Boron-20100401-Why 2.24 is available. |
| 19 Apr. 2010 | Why 2.24 is available and updates the Frama-C Jessie plugin. |
| 13 Apr. 2010 | Release Boron 20100401 is available. Enjoy! |
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… |