OSDN -- 开发和下载开源软件
简体中文翻译状态 translation status for zh

RSS
Download List

项目描述

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 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

本新闻稿中包含两套主要的变化：对小错误和编译错误修复发现20090901，和杰西删除。杰西现在将单独分发，如允许邮资- C的插件架构。这意味着，没有迫切需要升级，如果你不使用的谭雅插件，如果你不使用杰西，你应该等到它已经作为一个独立的插件发表升级前英寸
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

修复了许多在第一测试版中发现的错误。
Many fixes were made for bugs found in the first beta.

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

许多错误修正和许多新的功能。
标签: Beta
Numerous bugfixes and many new features.

Project Resources

首页 Project Page