Daikon (system)

Daikon is a computer program that detects likely invariants of programs.^[1] An invariant is a condition that always holds true at certain points in the program. It is mainly used^[2] for debugging programs in late development, or checking modifications to existing code.

Properties

Daikon can detect properties in C, C++, Java, Perl, and IOA programs, as well as spreadsheet files or other data sources. Daikon is easy to extend and is free software.^[3]

External links

Daikon Official home site
Source Repository on Github
Dynamically Discovering Likely Program Invariants, Michael D. Ernst PhD. Thesis (using Daikon)

References

^ An overview of JML tools and applications
^ "Dynamically Discovering Likely Program Invariants". Groups.csail.mit.edu. Retrieved 2013-05-23.
^ [1] Archived 2011-06-10 at the Wayback Machine Daikon license

This programming-tool-related article is a stub. You can help Wikipedia by expanding it.

[1] An overview of JML tools and applications

[2] "Dynamically Discovering Likely Program Invariants". Groups.csail.mit.edu. Retrieved 2013-05-23.

[3] [1] Archived 2011-06-10 at the Wayback Machine Daikon license

[1]

[2]

[3]