Latest News
| 23 May 2013 | Bug-fixed release Fluorine 20130501 is available. |
| 17 Apr. 2013 | Release Fluorine 20130401 is available. |
| 19 Dec. 2012 | The reference paper Frama-C, A Software Analysis Perspective has been accepted to SEFM'12. |
| 19 Dec. 2012 | The article Combining Analyses for C Program Verification has been accepted to FMICS'12. |
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… |
