 |
The Aristotle Analysis System provides program analysis information,
and supports the development of software engineering tools.
Aristotle's front end consists of parsers that gather the following
information for procedures and programs:
- Control Flow
- Local Dataflow
- Symbol Table
Aristotle tools use the data provided by the parsers to perform a
variety of tasks, such as:
- Dataflow analysis
- Control dependence analysis
- Code instrumentation
- Graph construction
- Graph display
The Aristotle Analysis Demo allows you to see some of the capabilities of the Aristotle
Analysis System on some sample files. To view these samples, choose a
relationship from the menu to the right.
|
