Daikon (system) explained

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

1. An overview of JML tools and applications . 10.1007/s10009-004-0167-4 . 2005 . Burdy . Lilian . Cheon . Yoonsik . Cok . David R. . Ernst . Michael D. . Kiniry . Joseph R. . Leavens . Gary T. . Leino . K. Rustan M. . Poll . Erik . International Journal on Software Tools for Technology Transfer . 7 . 3 . 212–232 .
2. Web site: Dynamically Discovering Likely Program Invariants . Groups.csail.mit.edu . 2013-05-23.
3. https://plse.cs.washington.edu/daikon/download/doc/daikon.html#License Daikon license