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.


Recent releases

  •  23 Jun 2010 23:14

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

    •  19 Dec 2009 21:52

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

      •  05 Oct 2009 03:23

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

        •  04 Sep 2009 21:39

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

          •  02 Jul 2009 03:28

            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 Fluent OpenStack client API for Java.


            Project Spotlight

            TurnKey TWiki Appliance

            A TWiki appliance that is easy to use and lightweight.