Frama-C
Frama-C is a suite of tools dedicated to the analysis of the source code of software written in C.
[ Homepage ]
| Author: | Frama-C Development team (CEA LIST and INRIA Saclay). |
| Last modification date: | 25-Aug-2010 |
| Version: | Boron-20100401 |
| Development status: | Beta |
| Kind: | Applications written in Caml :: Scientific software |
| License: | Open Source :: LGPL |
| Topic: | Programming languages :: Program analysis |
| Homepage: | http://frama-c.com |