Français Anglais
Accueil Annuaire Plan du site
Accueil > Production scientifique > Logiciels et brevets
Production scientifique
Logiciel Frama-C
Frama-C - Framework for Modular Analysis of C
Date de dernière version : 23 septembre 2013

Responsable : MARCHÉ Claude


Frama-C is a suite of tools dedicated to the analysis of the source code of software written in C.

Frama-C gathers several static analysis techniques in a single collaborative framework. Some parts of the framework are nearing completion and can already provide useful results, while other parts should still be considered experimental. 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 already provides sophisticated tools such as a slicer and dependency analysis.

Pour en savoir plus: http://frama-c.cea.fr/

Logiciel - Licence : LGPL



Activités de recherche
  Preuve de programme
  Formalisation et preuves de programmes numériques
  Vérification déductive de programmes

Membres
  MARCHÉ Claude
  MBIADA NDJANDA Jacques Charles

Equipe
  Vérification d'Algorithmes, Langages et Systèmes

Equipe-projet Inria
  Toccata
Logiciels et brevets
BOLDR
Query Intermediate Representation Library

CARNAVAL
Database of RNA Recurrent Interaction Networks

PINT
Static analyzer for dynamics of Automata Networks