frama-c
Platform dedicated to the static analysis of source code written in C
Frama-C is a suite of tools dedicated to the analysis of the source code of software written in C. Neon version.
Frama-C gathers several static analysis techniques in a single collaborative framework. The collaborative approach of Frama-C allows static analyzers to build upon the results already computed by other analyzers in the framework. Thanks to this approach, Frama-C provides sophisticated tools, such as a slicer and dependency analysis.
| Authors | Patrick Baudin, François Bobot, Richard Bonichon, Loïc Correnson, Pascal Cuoq, Zaynah Dargaye, Jean-Christophe Filliâtre, Philippe Herrmann, Florent Kirchner, Matthieu Lemerre, Claude Marché, Benjamin Monate, Yannick Moy, Anne Pacalet, Virgile Prévosto, Julien Signoles and Boris Yakobowski |
|---|---|
| License | GNU Lesser General Public License version 2.1 |
| Homepage | http://frama-c.com/ |
| Maintainer | francois.bobot@cea.fr (after 20130501) |
| Tags | deductive, program verification, formal specification, automated theorem prover, interactive theorem prover, C, plugins, abstract interpretation, slicing, weakest precondition, ACSL and dataflow analysis |
Events
May 13, 2014
Published version 20140301
Jul 1, 2013
Published version 20130601
- Anne Pacalet gained authorship.
- Benjamin Monate gained authorship.
- Boris Yakobowski gained authorship.
- Claude Marché gained authorship.
- Florent Kirchner gained authorship.
- François Bobot gained authorship.
- Jean-Christophe Filliâtre gained authorship.
- Julien Signoles gained authorship.
- Loïc Correnson gained authorship.
- Matthieu Lemerre gained authorship.
- Pascal Cuoq gained authorship.
- Patrick Baudin gained authorship.
- Philippe Herrmann gained authorship.
- Richard Bonichon gained authorship.
- Virgile Prévosto gained authorship.
- Yannick Moy gained authorship.
- Zaynah Dargaye gained authorship.
- Now licensed under GNU Lesser General Public License version 2.1.
- francois.bobot@cea.fr assumed maintainership from virgile.prevosto@m4x.org.
- http://frama-c.com/ added as homepage.
Jul 1, 2013
Published version 20130501
- virgile.prevosto@m4x.org assumed maintainership from contact@ocamlpro.com.
Jul 1, 2013
Published version 20120901
Jul 1, 2013
Published version 20111001