OSDN -- Desarrollar y descargar software de código abierto
Translation Status of Español translation status for es

RSS
Download List

Descripción del Proyecto

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
20090902

Este comunicado contiene principalmente dos tipos de cambios: correcciones para errores menores y los errores de compilación en 20090901, y la eliminación de Jessie. Jessie ahora será distribuido por separado, según lo permitido por Frama plug-C-en la arquitectura. Esto significa que no hay urgencia para mejorar si no utilizar el plug-in de Jessie, y si usted hace uso de Jessie, usted debe esperar hasta que haya sido liberado como un plug-in independiente antes de actualizar.
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.

2009-09-08 00:28
20090901

Muchas correcciones fueron hechas para los errores encontrados en la primera beta.
Many fixes were made for bugs found in the first beta.

2009-06-24 02:22
20090601 beta-1

Numerosas correcciones de errores y muchas nuevas características.
Tags: Beta
Numerous bugfixes and many new features.

Project Resources

Página principal Project Page