Daikon (system)

From Wikipedia, the free encyclopedia
Jump to: navigation, search

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.


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


  1. ^ An overview of JML tools and applications
  2. ^ "Dynamically Discovering Likely Program Invariants". Groups.csail.mit.edu. Retrieved 2013-05-23. 
  3. ^ [1] Daikon license