Static Data Flow Analysis of PL/I Programs with the PROBE System

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....

Full description

Saved in:
Bibliographic Details
Published in:IEEE transactions on software engineering Vol. SE-10; no. 4; pp. 451 - 459
Main Author: Sarraga, Ramon F.
Format: Journal Article
Language:English
Published: IEEE 01.07.1984
Subjects:
Algorithm design and analysis
Anomalous variable use
computer software measurement
Data analysis
data flow analysis
Documentation
Laboratories
Pattern analysis
Performance analysis
PL/I
Probes
programming practices
Software prototyping
Software tools
Testing
ISSN:0098-5589
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary: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.
Bibliography:ObjectType-Article-2
SourceType-Scholarly Journals-1
ObjectType-Feature-1
content type line 23
ISSN:0098-5589
DOI:10.1109/TSE.1984.5010259