Daikon is a

computer program A computer program is a sequence or set of instructions in a programming language for a computer to execute. Computer programs are one component of software, which also includes documentation and other intangible components. A computer progra ...

that detects likely invariants of programs. An invariant is a condition that always holds true at certain points in the program. It is mainly used for

debugging In computer programming and software development, debugging is the process of finding and resolving ''bugs'' (defects or problems that prevent correct operation) within computer programs, software, or systems. Debugging tactics can involve in ...

programs in late development, or checking modifications to existing code.

Properties

Daikon can detect properties in C, C++,

Java Java (; id, Jawa, ; jv, ꦗꦮ; su, ) is one of the Greater Sunda Islands in Indonesia. It is bordered by the Indian Ocean to the south and the Java Sea to the north. With a population of 151.6 million people, Java is the world's mo ...

Perl Perl is a family of two High-level programming language, high-level, General-purpose programming language, general-purpose, Interpreter (computing), interpreted, dynamic programming languages. "Perl" refers to Perl 5, but from 2000 to 2019 it ...

, and IOA programs, as well as

spreadsheet A spreadsheet is a computer application for computation, organization, analysis and storage of data in tabular form. Spreadsheets were developed as computerized analogs of paper accounting worksheets. The program operates on data entered in ce ...

files or other data sources. Daikon is easy to extend and is

free software Free software or libre software is computer software distributed under terms that allow users to run the software for any purpose as well as to study, change, and distribute it and any adapted versions. Free software is a matter of liberty, ...

.Daikon license
/ref>

External links

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

References

Free computer programming tools Static program analysis tools Software testing {{programming-software-stub