This preview shows pages 1–3. Sign up to view the full content.
This preview has intentionally blurred sections. Sign up to view the full version.View Full Document
Unformatted text preview: 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 ) Kvasir User-visible changes Fixed an issue where Fjalar would not correctly traverse variables when using the var-list-file option....
View Full Document
This note was uploaded on 02/24/2012 for the course CSE 503 taught by Professor Davidnotikin during the Spring '11 term at University of Washington.
- Spring '11