Document Type

Technical Report

Publication Date

Fall 11-1-1978


The application of data flow analysis algorithms to improve the reliability of single-process HAL/S programs is described. These algorithms evolved from the development of a system, DAVE, designed to analyze Fortran but are basically language-independent and therefore adaptable to HAL/S. An overview of the DAVE-HAL/S system is presented and features of HAL/S requiring special attention are discussed. The anomalies detected by the system are listed, followed by a high-level description of the system components. Since concurrency is a major feature of HAL/S, the last section indi9cates work in progress to adapt the analysis to handle concurrent-process as well as single-process programs.