Projects / Daikon


Daikon is an implementation of dynamic detection of likely invariants. An invariant is a property (such as "x=2*y+5" or " = 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.


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.


          Project Spotlight


          A shell library intended for Unix sysadmins.


          Project Spotlight


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