Daikon The invariant detector
Download

Daikon Ranking & Summary

Daikon Tags

detector detection invariant detector invariant detection program invariant invariant msn webcam spy blackberry curve 8630 dj java decompiler mercury sound 7050 linux screen capture pdf to mdb eyeball chat os prizm plug in whitetail deer screensavers reminder birthday for tv decoding software zl webmail

Daikon Description

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. Give Daikon a try to fully assess its capabilities!

Daikon Related Software