The Daikon Invariant Detector User Manual_ Table of Contents

The Daikon Invariant Detector User Manual_ Table of...

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

View Full Document Right Arrow Icon
[ Top ] [ Contents ] [ Index ] [ ? ] Table of Contents 1. Introduction 1.1 Mailing lists 2. Installing Daikon 2.1 Simple installation instructions 2.2 Complete installation instructions 2.2.1 Requirements for running Daikon 2.2.1.1 Optional requirements for running Daikon 2.2.2 Unix/Linux/MacOS installation 2.2.3 Windows installation 2.2.4 Running Daikon under Windows 2.2.4.1 Windows command line 2.2.4.2 Cygwin shell 3. Example usage for Java, C/C++, Perl, and Eiffel 3.1 Detecting invariants in Java programs 3.1.1 StackAr example 3.1.2 Using DynComp with Java programs 3.1.3 Understanding the invariants 3.1.4 Understanding DynComp 3.1.5 A second Java example 3.2 Detecting invariants in C/C++ programs 3.2.1 C examples 3.2.2 Using DynComp with C programs 3.2.3 Dealing with large examples 3.3 Detecting invariants in Perl programs 3.3.1 Instrumenting Perl programs 3.3.2 Perl examples 3.4 Detecting invariants in Eiffel programs 4. Running Daikon 4.1 Options to control Daikon output 4.2 Options to control invariant detection 4.3 Processing only part of the trace file 4.4 Daikon configuration options 4.5 Daikon debugging options 5. Daikon output 5.1 Invariant syntax 5.2 Program points 5.3 Variable names 5.3.1 orig variable example 5.4 Interpreting Daikon output 5.4.1 Redundant 5.4.2 Equal variables 5.4.3 Has only one value variables 5.5 Invariant list 5.6 Invariant filters 6. Enhancing Daikon output The Daikon Invariant Detector User Manual: Table of Contents file:///C:/Users/tyalanf/AppData/Local/Temp/Temp1_daikon.zip/daikon/d. ..
Background image of page 1

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

View Full DocumentRight Arrow Icon
Image of page 2
This is the end of the preview. Sign up to access the rest of the 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.

Page1 / 4

The Daikon Invariant Detector User Manual_ Table of...

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

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