User reviews

For Daikon 4.6.4Publisher's description

Daikon is a Development software developed by MIT Program Analysis Group. After our trial and test, the software is proved to be official, secure and free. Here is the official description for Daikon:

BS Editor: 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. Examples include “.field > abs(y)”; “y = 2*x+3”; “array a is sorted”; “for all list objects lst, lst.next.prev = lst”; “for all treenode objects n, n.left.value < n.right.value”; “p != null ⇒ p.content in myArray”; and many more. You can extend Daikon to add new properties.

Dynamic invariant detection runs a program, observes the values that the program computes, and then reports properties that were true over the observed executions. Daikon can Detect properties in C, C++, Eiffel, IOA, Java, and Perl programs; in Spreadsheet files; and in other data sources. (Dynamic invariant detection is a machine learning technique that can be applied to arbitrary data.) It is easy to extend Daikon to other applications; as one example, an interface exists to the Java PathFinder model checker. you can free download Daikon 4.6.4 now.