Daikon (system)

From Wikipedia, the free encyclopedia

For other uses, see Daikon (disambiguation)

Daikon is a computer program 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[1]for debugging programs in late development, or checking modifications to existing code.

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[2]

[edit] External links

  • [2] Official home site

[edit] References

  1. ^ Dynamically Discovering Likely Program Invariants
  2. ^ [1] Daikon license
Software spannerThis programming tool-related article is a stub. You can help Wikipedia by expanding it.
Languages