Projects / Daikon

Daikon

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.

Tags
Licenses
Implementation

RSS Recent releases

  •  24 Jun 2010 00:03

    Release Notes: This release includes many small fixes and documentation improvements. One notable change is Kvasir's improved support for GCC 4.4.

    •  20 Dec 2009 00:30

      Release Notes: Kvasir's support for GCC 4.4 has been improved.

      •  05 Oct 2009 04:28

        Release Notes: Kvasir's support for x86-64 hosts and C++ programs has been improved.

        Release Notes: Support for GCC 4.3+ created binaries has been improved for Kvasir.

        •  02 Jul 2009 10:15

          Release Notes: 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.

          Screenshot

          Project Spotlight

          sysfunc

          A shell library intended for Unix sysadmins.

          Screenshot

          Project Spotlight

          TbsZip

          A PHP class for modifying Zip archives without extensions or temporary files.