OVERVIEW
This page provides access to a distribution of the Aristotle Analysis System.
Aristotle provides program analysis information and supports the development of software engineering tools. Aristotle's front end consists of a parser that gathers control-flow, local data-flow, and symbol table information for C programs. Aristotle tools use the data provided by the front end to perform a variety of tasks, such as data-flow and control-dependence analysis, graph construction and graph viewing. Parsers and tools use database access routines to store information in, and retrieve it from, a data repository. Users can view analysis data textually or graphically. A user interface provides menu-driven access to tools.
The following documentation, which is included in the distribution, is available.
This documentation is
included in the docs subdirectory of the distribution which you can download
below.
DOWNLOAD INFORMATION
The Aristotle Analysis System is available here, tarred and gzipped. This software requires SunOS 5.6 (Solaris 2.6) or higher and Perl. There are no plans to support other platforms. Click here to download the system. We ask that you first register with us so that we can notify you of updates and bug fixes.
-
Aristotle.tar.gz (4.4 MB)
Unzip and untar the file somewhere convenient, and follow the
installation documentation which is included in the docs subdirectory
of the distribution.
BUG REPORTING
Bug reports and enhancement requests can be submitted at
http://www.cs.orst.edu/~law/bugmeister.
ADDITIONAL INFORMATION
There are several papers that describe uses of the Aristotle system.
Saurabh Sinha, Mary Jean Harrold, and Gregg Rothermel, System-Dependence-Graph-Based Slicing of Programs with Arbitrary Interprocedural Control Flow. The 21st International Conference on Software Engineering, May, 1999.
G. Rothermel, M. J. Harrold, J. Ostrin, C. Hong. An empirical study of the effects of minimization on the fault detection capabilities of test suites. In Proceedings of the International Conference on Software Maintenance, November 1998, pages 34-43.
G. Rothermel and M. J. Harrold. Empirical studies of a safe regression test selection technique. IEEE Transactions on Software Engineering, vol. 25, no. 6, June 1998, pages 401-419.
M. J. Harrold, G. Rothermel, R. Wu, and L. Yi. An empirical investigation of program spectra. In Proceedings of ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering, June 1998, pages 83-90.
T. Graves, M. J. Harrold, J. Kim, A. Porter, and G. Rothermel. An Empirical Study of Regression Test Selection Techniques. In Proceedings of Twentieth IEEE International Conference on Software Engineering, April 1998, pages 188--197.
M. J. Harrold, G. Rothermel, and S. Sinha. Computation of interprocedural control dependence. In Proceedings of ACM International Symposium on Testing and Analysis, March 1998, pages 11-21.
Gregg Rothermel and Mary Jean Harrold, A Safe, Efficient Regression Test Set Selection Technique. ACM Transactions on Software Engineering and Methodology, V.6, no. 2, April 1997, pages 173-210.
The Aristotle Research Group has also done some experimentation with programs, program versions, and tests obtained from Siemens Corporate Research, Inc. The HR variants of these programs, produced by the Aristotle Research Group and used in these experiments, can be found here