OSDN -- Desenvolver e Download de Software Open Source
Estado tradução de Português translation status for pt

RSS
Download List

Projeto Descrição

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.

System Requirements

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 Back to release list
20090902

Este comunicado contém, principalmente, dois conjuntos de alterações: correções de bugs e bugs encontrados na compilação 20090901, e remoção de Jessie. Jessie agora serão distribuídos separadamente, conforme permitido pela Frama C-plug-in arquitetura. Isto significa que não há urgência para atualizar se você não usar o plug-in Jessie, e se você fizer uso Jessie, você deve esperar até que tenha sido lançado como um plug-in autônomo antes de atualizar.
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

Home Page Project Page