Latest News
| 16 Feb. 2012 | Commercial support and license available . |
| 27 Jan. 2012 | Training courses on Frama-C are proposed by Atos Formation (in French). |
| 5 Jan. 2012 | Release of Plug-in WP 0.5 for Nitrogen-20111001 is available. |
| 5 Jan. 2012 | Plug-in E-ACSL 0.1 is available. |
| 10 Oct. 2011 | Release Nitrogen 20111001 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… |
