{[ promptMessage ]}

Bookmark it

{[ promptMessage ]}


groups.csail.mit.edu_pag_daikon_download_doc_CHANGES -...

Info iconThis preview shows pages 1–3. Sign up to view the full content.

View Full Document Right Arrow Icon
History of Daikon changes http://pag.csail.mit.edu/daikon/ This file lists significant user-visible changes to Daikon. (Many other changes, including most bug fixes, are not noted here.) Further documentation can be found in: * the Daikon Manual. Its source is file daikon.texinfo; formatted, it appears as daikon.html, daikon.info, daikon.dvi, daikon.ps, or daikon.pdf. It is available on-line at http://pag.csail.mit.edu/daikon/download/doc/daikon.html . * the Daikon Developer Manual. Its source is file developer.texinfo; formatted, it appears as developer.html, developer.info, developer.dvi, developer.ps, or developer.pdf. It is available on-line at http://pag.csail.mit.edu/daikon/download/doc/developer.html . * The Javadoc API documentation for the source code. This is not distributed with Daikon, but you can build it by executing the command make -C $DAIKONDIR/java doc It is also available at http://pag.csail.mit.edu/daikon/download/jdoc/ . =========================================================================== 4.6.4 (June 21 2010) Daikon User-visible changes Added new invariants: CompleteOneOfScalar, CompleteOneOfString Added configuration variable daikon.FileIO.rm_stack_dups. When calculating the confidence value for an invariant, Daikon sometimes estimates the number of possible unique values that have been seen. This calculation has been changed to better handle variable that are often missing. In particular, invariants over combinations of variables that are never present in the same sample, will have a zero confidence and will thus not normally be printed. Improved documentation about: handling large data trace files or slow Daikon runs; the confidence of each invariant; and the types of program point declarations and their relationship to the program point hierarchy. Daikon uses the JAVA_HOME environment variable, rather than JDKDIR. Non-user-visible changes Extracted utilMDE and other utilities into a new library named plume-lib, which makes it easier to use in other programs. See http://code.google.com/p/plume-lib/. Daikon now type-checks with the Nullness Checker (which is part of the Checker Framework), with just a few suppressed warnings. As far as we know Daikon is the largest program ever to be verified in this way. Interned some string variables when de-serializing an invariant file, saving an appreciable amount of memory. Chicory Documented Chicory options --boot-classes=REGEX, --linked-lists. http://groups.csail.mit.edu/pag/daikon/download/doc/CHANGES 1 of 51 2/24/2012 12:17 PM You created this PDF from an application that is not licensed to print to novaPDF printer ( http://www.novapdf.com )
Background image of page 1

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full Document Right Arrow Icon
Kvasir User-visible changes Fixed an issue where Fjalar would not correctly traverse variables when using the var-list-file option. The var-list-file can specify different global variables for different functions, rather than having to specify the same set of global variables for all of a program.
Background image of page 2
Image of page 3
This is the end of the preview. Sign up to access the rest of the document.

{[ snackBarMessage ]}

Page1 / 51

groups.csail.mit.edu_pag_daikon_download_doc_CHANGES -...

This preview shows document pages 1 - 3. Sign up to view the full document.

View Full Document Right Arrow Icon bookmark
Ask a homework question - tutors are online