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.

2011-01-06 07:34 Zurück zur Release-Liste
20101202

Viele Bugfixes. Kleine Verbesserungen der Benutzerfreundlichkeit der GUI. Ein paar Änderungen an der API. Wertanalyse: verbesserte Geschwindigkeit und Speicherverbrauch; Griff mit einfacher Genauigkeit float als solche (anstelle von Klumpenbildung es mit Doppel-wie bisher); bessere Handhabung von Strukturen als Argumente an Funktionen übergeben. Eine neue deduktive Verifikation Plug-in: WP.
Tags: Beta
Many bugfixes. Small usability improvements to the GUI.
A few API changes. Value analysis: improved speed and memory consumption; handle single-precision type float as such (instead of lumping it with double as previously); better handling of structs passed as arguments to functions. A new deductive verification plug-in: WP.

Project Resources

Homepage Project Page