Main People Publications Research Tools

Aristotle Analysis System

Java Architecture for Bytecode Analysis (JABA)

Tarantula Fault Localization System

 

Aristotle Installation Manual



Back

Contents





1. Introduction

This document describes the procedure for installing Aristotle on your system.

Aristotle binaries and libraries are organized in a tree that can be located and installed anywhere on your system. Aristotle system directories are placed under an "Aristotle" root directory, which must reside in a location where potential users can access it.

This software requires SunOS 5.6 (Solaris 2.x) and Perl. There are no plans to support other platforms.

Section 2 of this manual describes how to install Aristotle. Section 3 describes how to configure your account (or Aristotle users' accounts) to support use of Aristotle.

2. Installation

To install Aristotle, perform the following steps.

  1. Unzip the Aristotle distribution file using gunzip by issuing the command: 
    	    gunzip Aristotle.tar.gz
  2. Extract Aristotle system files using tar: 
    	    tar -xvf Aristotle.tar
    This action creates a directory named "Aristotle", hereafter referred to as your "Aristotle root directory".

  3. Aristotle requires the Perl language. You will need to check that the script named "edgcfe.sh" in the bin subdirectory of the distribution has the correct location of the perl binary. Change directory to the bin subdirectory, and look at the first line of edgcfe.sh. You should see: 
                #!/usr/local/bin/perl
    Verify that this is the correct location for perl on your system. You can usually do this using the command "which perl". If it is not the correct location, edit the first line of edgcfe.sh. If perl is not installed on your system or you cannot find its location, see your system administrator.

  4. Follow the procedure described in the next section (section 3,Configuring User Accounts) of this manual to configure your account so that you can run Aristotle. Then return to these instructions and proceed with the next step.

  5. When invoked, Aristotle reads a startup file, "aristotle_setup.dat". Aristotle looks for this file initially in the user's current directory, then in the user's home directory, and finally, in the Aristotle binary directory. You need to modify the default setup file for your installation. It is a good idea to do this from the "samples" directory in the Aristotle distribution so that you can test the installation.

    To modify the setup file, do the following:

    • Invoke Aristotle by typing: 
             aristotle
      You'll find yourself in the top menu of the Aristotle menu system.

    • Go to "Setup" and make the selection that leads to "Parser Analyzer Setup", and modify both "Parser executable" selections (options 2 and 5 ) to specify the location and name of the "cfe" binary. This binary is in the bin directory of the Aristotle distribution. You need to specify the full path name and executable name of cfe. On our system, it looks something like this: 
          /nfs/foo/bar/baz/Aristotle/bin/cfe

      The value of the "Command line options" should already be "<< None >>" on lines 3 and 6. (Other setup values are initialized to default values. You may wish to adjust them at a later time.)

    • Return to the "Setup" menu by typing "p", for Parent menu, and check the "Setup file location". The value should be set to the Aristotle distribution bin directory. If it is not, change it. For example, at our installation it is: 
          /nfs/foo/bar/baz/Aristotle/bin
    • Select "W" to write setup information to disk.

    • Now you can give the system a short test. Exit the Aristotle system by typing "x" at the menu prompt. Change directory to the "samples" subdirectory of the distribution, and restart Aristotle. Type "s" to enter the name of a source file to analyze. Enter the name of a source file in the samples subdirectory. The samples directory must be the current directory. Choose option number 1, "Parser/analyzers", from the menu and then choose "Run". Several progress messages should appear on the screen. Warning messages are normal and do not interfere with running the system. An error message will be displayed if there are any problems with the installation. After the parser/analyzer is finished, Aristotle will wait for you to press enter to return to the PARSER/ANALYZER menu.

    • Now, select "X" to exit the menu system.

    • As an additional check, list the files in your ARISTOTLE_DB_DIR. There should now be several files with the same name as the source file, but different suffixes.

  6. Check the permissions on the setup file. Other users need to be able to read it. We suggest: 
           chmod 644 aristotle_setup.dat
    If use is restricted to a specific group, "640" may be more appropriate.

  7. The installation is now complete; you should be able to run Aristotle. See the User's Manual for instructions.


3. Configuring User Accounts

To use Aristotle, or set up a user's account so that they can use it, change your (their) environment by doing the following. (These instructions are also available to users in the Aristotle User's Manual).

  1. Create a "database" directory. Aristotle stores analysis files in this directory, and Aristotle analysis tools look for their input files there. Each user of the Aristotle analysis system should have a separate database directory. You may name the database directory anything you would like. (Warning: do not run Aristotle from within the database directory.)

  2. Edit your ".cshrc" or ".login" file (or whatever defines your path on your system) and add the full pathname of your Aristotle bin subdirectory.

  3. Edit your ".cshrc" file (or your shell's equivalent) by adding the following lines, and modifying the portion of the third line that appears in angle brackets. The third line defines an environment variable used by several Aristotle tools. The third word in that line must give the full pathname of your database directory (with no trailing slash). 
         # Specify the location of the Aristotle database directory
     # (the third word should be the full path name your database directory).
     setenv ARISTOTLE_DB_DIR <your-database-directory>
  4. Log out and log in again, or "source" your .cshrc and .login files to cause your new path and the new environment variable to be defined.


4. Supported Architectures

Aristotle has been developed and tested on a Sun Ultra 1 workstation running SunOS 5.6 (Solaris). The binaries and libraries in this distribution were created on this architecture, also.

Georgia Tech | College of Computing | Software Engineering | Aristotle Home
Updated November 14, 2005 by Jim Jones