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:

Logiciel - Licence : LGPL

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

  MARCHÉ Claude
  MBIADA NDJANDA Jacques Charles

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

Equipe-projet Inria
Logiciels et brevets
Query Intermediate Representation Library

Database of RNA Recurrent Interaction Networks

Static analyzer for dynamics of Automata Networks