Latest News
04 December 2019 | Frama-C 20.0 (Calcium) is out. Download it here . |
17 September 2019 | Frama-C 19.1 (Potassium) is out. Download it here . |
13 September 2019 | Frama-Clang 0.0.7 is out. Download it here . |
Getting Acquainted
What is Frama-C |
Video
Frama-C is an extensible and collaborative platform dedicated to
source-code analysis of C software.A short video Screenshots A short example A ready-to-play quick tour The first tutorial An advanced tutorial on IoT code 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… |