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.

2011-03-05 06:52 Back to release list
Carbon 20110201

Esta versión corrige los errores identificados en la versión beta 20101202 y hace que la API externa estable para los desarrolladores de plug-in. usuarios Valor análisis, considerar la aplicación de este parche antes de compilar: http://lists.gforge.inria.fr/pipermail/frama-c-discuss/2011-February/002527.html. Jessie usuarios: esta versión es compatible con 2.29 ¿Por qué, disponible en http://why.lri.fr/. WP usuarios: el Grupo de trabajo plug-in estará disponible por separado más adelante.
Tags: Stable
This release fixes bugs identified in beta version 20101202 and makes the API stable for external plug-in developers. Value analysis users, consider applying this patch before compiling: http://lists.gforge.inria.fr/pipermail/frama-c-discuss/2011-February/002527.html . Jessie users: this release is compatible with Why 2.29, available from http://why.lri.fr/ . WP users: the WP plug-in will be made available separately later.

Project Resources

Página principal Project Page