OSDN -- Développer et télécharger des logiciels Open Source
Traduction statut du Français translation status for fr

RSS
Télécharger la liste

Description du projet

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. The collaborative approach allows static analyzers to build upon the results already computed by other analyzers in the framework. It provides sophisticated tools, such as a slicer and dependency analysis.

Système requise

System requirement is not defined
Information regarding Project Releases and Project Resources. Note that the information here is a quote from Freecode.com page, and the downloads themselves may not be hosted on OSDN.

2009-09-27 03:03 Retour à la liste release
20090902

Le présent communiqué contient principalement deux séries de changements: corrections de bogues mineurs et bugs trouvés dans la compilation 20090901, et la suppression de Jessie. Jessie vont maintenant être distribués séparément, comme le permet Frama-C plug-in architecture. Cela signifie qu'il n'y a aucune urgence à mettre à jour si vous n'utilisez pas le plug-in Jessie, et si vous ne l'utilisez Jessie, vous devrez attendre jusqu'à ce qu'il ait été libéré en tant que plug-in avant standalone mise à niveau.
This release contains mostly two sets of changes: fixes for minor bugs and compilation bugs found in 20090901, and removal of Jessie. Jessie will now be distributed separately, as allowed by Frama-C's plug-in architecture. This means that there is no urgency to upgrade if you do not use the Jessie plug-in, and if you do use Jessie, you should wait until it has been released as a standalone plug-in before upgrading.

Project Resources

Page d'accueil Project Page