This article has multiple issues. Please help improve it or discuss these issues on the talk page. (Learn how and when to remove these template messages)
|
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
editDaikon 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- Daikon Official home site
- Source Repository on GitHub
- Dynamically Discovering Likely Program Invariants, Michael D. Ernst PhD. Thesis (using Daikon)
References
edit- ^ An overview of JML tools and applications
- ^ "Dynamically Discovering Likely Program Invariants". Groups.csail.mit.edu. Retrieved 2013-05-23.
- ^ Daikon license
🔥 Top keywords: Akademia e Shkencave e RPS te ShqiperiseAlexandria Ocasio-CortezBilderberg GroupCristiano RonaldoDong XiaowanMinecraftOperation GladioPrimal cutRiot FestStrictly Come Dancing (series 7)Main PageSpecial:SearchWikipedia:Featured picturesKalki 2898 ADUEFA Euro 2024Project 2025.xxxKarel deLeeuw2024 Copa AméricaA Quiet Place: Day OneCleopatraDeaths in 2024Jack Draper (tennis)House of the DragonNikki HiltzDiogo CostaJuiceroOpinion polling for the 2024 United Kingdom general electionUEFA European ChampionshipTheodore StreleskiCristiano RonaldoYouTubeKlay ThompsonCopa AméricaThe Bear (TV series)Elias YmerJoe Biden2024 French legislative electionMerih DemiralMoney in the Bank (2024)Zac EfronBad Boys: Ride or DieInside Out 2Gladiator IIArda GülerKevin OrtegaMemphis DepayMarko ArnautovićCody Gakpo