A rule-based software engineering tool for code analysis

A rule-based software engineering tool is described that was developed for analyzing a large system of modules implemented in the Pascal language. It was used to create an intermodule cross-reference database for the system, a directed graph of procedure and function calls representing a high-level control-flow model of the system, and a collection of reports containing metric information about the source code of each module in the system. The design of this software engineering tool and the benefits derived from using its output are discussed.<
>