OSDN -- Open-Source-Software-Entwicklung und Downloads
Übersetzungsstatus von Deutsch translation status for de

RSS
Downloadliste

Projektbeschreibung

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.

Systemanforderungen

Die Systemvoraussetzungen sind nicht definiert
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 Zurück zur Release-Liste
20090902

Diese Pressemitteilung enthält vor allem zwei Arten von Änderungen: Fixes für kleinere Bugs und Erstellung Bugs gefunden in 20090901 und das Entfernen von Jessie. Jessie wird nun separat verteilt werden, wie erlaubt Frama-C-Plug-In-Architektur. Dies bedeutet, dass es keine Dringlichkeit zu aktualisieren, wenn Sie die Jessie Plug-in verwenden, und wenn Sie nicht verwenden Jessie, sollten Sie warten, bis es als Standalone-Plug-in veröffentlicht wurden vor der Aktualisierung.
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

Homepage Project Page