Latest News
| 22 Mar 2018 | Announcing the Sound Static Analysis for Security Workshop (2018-06-27 and 28 at NIST). See the whole program here . |
| 19 Feb 2018 | frama-clang 0.0.5, fixing compatibility issue with Debian/Ubuntu, is out. Download it here . |
| 21 Dec 2017 | frama-clang 0.0.4, compatible with Frama-C 16 is out. Download it here . |
| 28 Nov. 2017 | Frama-C 16 - Sulfur is out. Download it here . |
| 02 Aug. 2017 | frama-clang 0.0.3, compatible with Frama-C 15 is out. Download it here . |
| 20 Apr. 2017 | Announcing the upcoming Frama-C & SPARK Day 2017 . |
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… |