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.

2011-01-06 07:34 Back to release list
20101202

Muitas correções de bugs. Pequenas melhorias de usabilidade para o GUI. Algumas mudanças na API. Análise do valor: maior velocidade e consumo de memória; manipular esse tipo de precisão simples flutuam como tal (ao invés de lumping com dupla como anteriormente); melhor manipulação de estruturas passados como argumentos para funções. Um novo plug-in de verificação dedutiva: 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

Home Page Project Page