OSDN -- 오픈 소스 소프트웨어 개발 및 다운로드
Translation Status of 한국말 translation status for ko

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

이 릴리스의 변경 사항은 대부분 두 세트 : 사소한 버그와 컴파일 버그에 대한 수정 프로그램이 포함되어 20090901 년에 발견하고 제시 제거. 제시 지금은 별도로 Frama 허용 분산 될 것입니다 C를 플러그인 아키텍처합니다. 이것은 거기에 제시하면 플러그인을 사용하지 않는 업그레이 드없습니다 긴급, 그리고 사용하는 경우 어떻게 제시 때까지 독립적인 플러그인 형태로 공개되었습니다, 당신은 기다려야한다 - in을 업그레이 드하기 전에 의미합니다.
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

다수의 버그수정과 여러 가지 새로운 특징이다.
Tags: Beta
Numerous bugfixes and many new features.

Project Resources

Home Page Project Page