Static Data Flow Analysis of PL/I Programs with the PROBE System
- 1 July 1984
- journal article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in IEEE Transactions on Software Engineering
- Vol. SE-10 (4), 451-459
- https://doi.org/10.1109/tse.1984.5010259
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
This publication has 7 references indexed in Scilit:
- Measuring Improvements in Program ClarityIEEE Transactions on Software Engineering, 1979
- The Definition Mechanism for Standard PL/IIEEE Transactions on Software Engineering, 1977
- The Influence of Structured Programming on PL/I Program ProfilesIEEE Transactions on Software Engineering, 1977
- A Complexity MeasureIEEE Transactions on Software Engineering, 1976
- Dave—a validation error detection and documentation system for fortran programsSoftware: Practice and Experience, 1976
- A numerical profile of commercial PL/I programsSoftware: Practice and Experience, 1976
- Allegations as aids to static program testingPublished by Association for Computing Machinery (ACM) ,1976