Download List

Projeto Descrição

Daikon is an implementation of dynamic detection of likely invariants. An invariant is a property (such as "x=2*y+5" or "this.next.prev = this" or "myarray is sorted by <") that holds at a certain point or points in a program. Invariants are often seen in assert statements, documentation, and formal specifications. Invariants can be useful in program understanding and a host of other applications. Daikon runs a program, observes the values that the program computes, and then reports properties that were true over the observed executions. It can detect properties in Java, C, C++, Perl, and IOA programs, in spreadsheet files, and in other data sources.

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.

2010-06-24 09:03
4.6.4

Esta versão inclui muitas pequenas correções e melhorias de documentação. Uma mudança notável é o suporte melhorado Kvasir para 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

Kvasir suporte para GCC 4,4 foi melhorada.
Kvasir's support for GCC 4.4 has been improved.

2009-10-05 13:28
4.6.2

Kvasir suporte para x86-64 e C + + foi melhorada.
Kvasir's support for x86-64 hosts and C++ programs has been improved.

2009-09-05 09:14
4.6.1

Suporte para o GCC 4.3 + criado binários foi aprimorado para Kvasir.
Tags: 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

Kvasir agora suporta binários criados com o GCC 4.0 e versões glibc + 2,2-2,10. O usuário Daikon manual foi atualizado para a clareza e completude. Bugs foram corrigidos no Daikon, Kvasir, e chicória.
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.

Project Resources