Title :
Static Data Flow Analysis of PL/I Programs with the PROBE System
Author :
Sarraga, Ramon F.
Author_Institution :
Department of Computer Science, General Motors Research Laboratories, Warren, MI 48090.
fDate :
7/1/1984 12:00:00 AM
Abstract :
An experimental data flow analyzer for PL/I programs has been implemented within the PROBE system developed at the GM Research Laboratories. PROBE is an experimental software package that examines the internal structure of PL/I programs in order to expose error-prone design and programming features. This paper describes 1) the algorithms and data structures used by the data flow analyzer, 2) the salient aspects of PL/I usage in the analyzed production-level programs, and 3) the results of the data flow analysis.
Keywords :
Algorithm design and analysis; Data analysis; Documentation; Laboratories; Pattern analysis; Performance analysis; Probes; Software prototyping; Software tools; Testing; Anomalous variable use; PL/I; computer software measurement; data flow analysis; programming practices;
Journal_Title :
Software Engineering, IEEE Transactions on
DOI :
10.1109/TSE.1984.5010259
