Downloadliste

Sponsored link

Projektbeschreibung

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.

Systemanforderungen

Die Systemvoraussetzungen sind nicht definiert
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

Diese Version enthält viele kleine Fehler behoben und Verbesserungen der Dokumentation. Eine bemerkenswerte Veränderung ist Kvasir's verbesserte Unterstützung für 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 Unterstützung für GCC 4.4 wurde verbessert.
Kvasir's support for GCC 4.4 has been improved.

2009-10-05 13:28
4.6.2

Kvasir Unterstützung für x86-64 Hosts und C + +-Programmen wurde verbessert.
Kvasir's support for x86-64 hosts and C++ programs has been improved.

2009-09-05 09:14
4.6.1

Unterstützung für GCC 4.3 + erstellten Binaries wurde für Kvasir verbessert.
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 unterstützt nun auch Binärdateien mit GCC 4.0 erstellt + und glibc-Versionen zwischen 2,2 und 2,10. Die Daikon Handbuch für Klarheit und Vollständigkeit aktualisiert. Fehler wurden in Daikon, Kvasir, und Zichorien festgesetzt.
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