Crabor/daikon

This is the distribution of the Daikon invariant detector,
Daikon version 5.8.9, released March 3, 2021.

If you are working with a Daikon distribution downloaded from the Daikon
website, then most everything is setup and ready to go.  See the 'doc'
subdirectory for additional information, including installation instructions.
You should start out with the file:
  doc/index.html
The documentation also appears on the Daikon homepage:
  http://plse.cs.washington.edu/daikon/

If you are working with source cloned from the source code repository
https://github.com/codespecs/daikon, then please review the file
README.source.

About

Dynamic detection of likely invariants

http://plse.cs.washington.edu/daikon/

Languages

Language:C 40.1%Language:Java 22.6%Language:C++ 15.6%Language:BlitzBasic 12.2%Language:Makefile 1.9%Language:Perl 1.7%Language:Shell 1.6%Language:POV-Ray SDL 1.5%Language:Roff 1.0%Language:Scilab 0.5%Language:M4 0.2%Language:Pascal 0.2%Language:Python 0.2%Language:HTML 0.1%Language:Lex 0.1%Language:Yacc 0.1%Language:SAS 0.1%Language:Module Management System 0.1%Language:WebAssembly 0.1%Language:PHP 0.0%Language:DIGITAL Command Language 0.0%Language:Assembly 0.0%Language:CLIPS 0.0%Language:Smalltalk 0.0%Language:StringTemplate 0.0%Language:Batchfile 0.0%Language:Common Lisp 0.0%Language:Brainfuck 0.0%