What is it all about?
Daikon is an implementation of dynamic detection of likely invariants; that is, the Daikon invariant detector reports likely program invariants. An invariant is a property that holds at a certain point or points in a program; these are often seen in assert statements, documentation, and formal specifications. Invariants can be useful in program understanding and a host of other applications.
* Dynamic invariant detection runs a program * Observes the values that the program computes * Reports properties that were true over the observed executions