The Daikon Invariant Detector User Manual_ 2. Installing Daikon

The Daikon - The Daikon Invariant Detector User Manual 2 Installing Daikon < > < Up >

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

View Full Document Right Arrow Icon
[ < ] [ > ] [ << ] [ Up ] [ >> ] [ Top ] [ Contents ] [ Index ] [ ? ] 2. Installing Daikon Shortcut for the impatient: skip directly to installation instructions (see section Unix/Linux/MacOS installation ) (see section Windows installation ). There are two main ways to install Daikon. See section Simple installation instructions , for a simple 2-step installation process that is adequate for the needs of many users. See section Complete installation instructions , for a complete installation, in 4 easy steps, that permits you to use all of the functionality in the Daikon distribution. Use the simple installation instructions if you only wish to detect invariants in Java programs. Use the complete installation instructions (which are easy to follow) if you wish to detect invariants in C or Perl programs, if you wish to run certain other programs distributed with Daikon in its ‘ bin/ ’ directory, or if you wish to edit and recompile the source code of Daikon itself. Differences from previous versions of Daikon appear in the file ‘ doc/CHANGES ’ in the distribution. To be notified of new releases, or to join discussions about Daikon, subscribe to one of the mailing lists (see section Mailing lists ). 2.1 Simple installation instructions 2.2 Complete installation instructions [ < ] [ > << ] [ ] [ >> ] [ Contents ] [ Index ] [ ? ] 2.1 Simple installation instructions Daikon is written in Java. In order to run Daikon, all you really need is the ‘ daikon.jar ’ file, which is included in the distribution or can be downloaded separately from /daikon.jar . Place ‘ daikon.jar ’ on your classpath so that Java can find it. You are now ready to use Daikon! There are two additional requirements. You must have a Java 5.0 (or later) JVM ( Java Virtual Machine ). The tools.jar ’ file that comes with your JVM must also be on your classpath. See section Installing Daikon , for situations where you should follow the complete installation instructions of Complete installation instructions . (Also, if you do not know how to add a jar file to your classpath, then use the complete installation instructions, which walk you through the process.) [ < ] [ > << ] [ ] [ >> ] [ Contents ] [ Index ] [ ? ] 2.2 Complete installation instructions This section gives step-by-step instructions for installing Daikon. Here is an overview of the steps. Details appear below; select the instructions for your operating system. The Daikon Invariant Detector User Manual: 2. Installing Daikon file:///C:/Users/tyalanf/AppData/Local/Temp/ .. 2/24/2012 12:16 PM You created this PDF from an application that is not licensed to print to novaPDF printer ( )
Background image of page 1

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

View Full DocumentRight Arrow Icon
Download Daikon. 1. Place three commands in your shell initialization file. 2. Optionally, customize your installation. 3. Optionally, compile Daikon and build other tools by running make . 4.
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.

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 / 6

The Daikon - The Daikon Invariant Detector User Manual 2 Installing Daikon < > < Up >

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

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