ダウンロードリスト

Sponsored link

プロジェクト概要

Daikonは、不変条件(と推定されるもの)の動的検出の実装です。不変条件は、プログラム内の各時点で保持されている(例えば "x=2*y+5"、"this.next.prev=this"、"myarrayは昇順にソートされている"といった)プロパティです。不変条件はassert文、ドキュメント、形式仕様でしばしばみられます。不変条件はプログラムの理解や多数の他のアプリケーションに有用です。Daikonは、プログラムを実行し、プログラムの計算した値を観測し、観測された実行を通してtrueであったプロパティを報告します。Java、C、C++、Perl、IOAのプログラム、スプレッドシート、その他のデータソース内のプロパティを検出することが出来ます。

システム要件

システム要件が設定されていません
プロジェクトのリリース情報やプロジェクトリソースの情報です。
注: プロジェクトリソースの情報は Freecode.com ページからの引用です。ダウンロードそのものは、OSDNにホスティングされているものではありません。

2010-06-24 09:03
4.6.4

このリリースでは多くの小さな修正とドキュメントの改善が含まれます。 1つの注目すべき変更点は、GCC 4.4のクヴァシルの改良のサポートです。
This release includes many small fixes and documentation improvements. One notable change is Kvasir's improved support for GCC 4.4.

2009-12-20 09:30
4.6.3

GCCの4.4クヴァシルのサポートが改善されている。
Kvasir's support for GCC 4.4 has been improved.

2009-10-05 13:28
4.6.2

x86用のクヴァシルの支持が64台のホストおよびC + +プログラムの改良されています。
Kvasir's support for x86-64 hosts and C++ programs has been improved.

2009-09-05 09:14
4.6.1

GCCの4.3 +のサポートバイナリを作成クヴァシルに改善されている。
タグ: Minor feature enhancements, Minor bugfixes
Support for GCC 4.3+ created binaries has been improved for Kvasir.

2009-07-02 19:15
4.6.0

クヴァシル現在のバイナリはGCC 4.0で作成された+と2.10のglibcのバージョン2.2をサポートします。大根のユーザーマニュアルを明確にし、完全に更新されました。バグ大根、クヴァシルとチコリで修正された。
Kvasir now supports binaries created with GCC 4.0+ and glibc versions 2.2 to 2.10. The Daikon user manual was updated for clarity and completeness. Bugs were fixed in Daikon, Kvasir, and Chicory.

プロジェクトリソース