TADS Tools for Maintaining Ada Source Code

Product Family: TADS
Target CPU: Any
Language: Ada
Host: Any

The TADS AdaRef static analyzer accepts a single object file or executable image in TADS Object File Format (TOFF) as input, and produces useful information about Ada entities (compilation units, subprograms, types, variables, etc.) in the program.

As the name implies, the “static” analyzer does not depend on the dynamic/run-time/execution-time behavior of the program. However, the program must have been compiled using the Tartan Ada Compiler’s cross-reference and debug command line options before being submitted as input to AdaRef.

AdaRef can produce the following information:

• call graph produces a graph showing the calling relationships between subroutines
• dependency graph produces a graph showing the dependencies between compilation units
• cross reference produces a list of all user-defined entities
• permuted index produces a list of all user-defined entities along with any associated information

The AdaRef tool provides an Ada developer with information which can be invaluable in maintaining large software systems written in Ada83 and built using the TADS Ada Development System. More information about AdaRef can be found in the TADS AdaRef Manual.