Jump to content

Daikon (system)

Edit links
From Wikipedia, the free encyclopedia

This is an old revision of this page, as edited by Palosirkka (talk | contribs) at 10:20, 15 June 2022 (live ref). The present address (URL) is a permanent link to this revision, which may differ significantly from the current revision.

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]

References

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


Stub icon

This programming-tool-related article is a stub. You can help Wikipedia by expanding it.

Retrieved from "https://en.wikipedia.org/w/index.php?title=Daikon_(system)&oldid=1093234320"