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

1. ↑ An overview of JML tools and applications
2. ↑ "Dynamically Discovering Likely Program Invariants". Groups.csail.mit.edu. http://groups.csail.mit.edu/pag/pubs/invariants-ernst-phdthesis-abstract.html. Retrieved 2013-05-23.
3. ↑ Daikon license

0.00

(0 votes)

Original source: https://en.wikipedia.org/wiki/Daikon (system). Read more

|

Retrieved from "https://handwiki.org/wiki/index.php?title=Daikon_(system)&oldid=214678"