Static data flow analysis of PL/1 programs with the PROBE system

PROBE is an experimental software system developed at the General Motors Research Laboratories for the analysis of PL/1 programs. It dissects their control flow structure and patterns of data use, thus pinpointing error-prone design and programming practices. An experimental data flow analyzer for P...

Full description

Saved in:
Bibliographic Details
Published in:IEEE transactions on software engineering Vol. 10; no. 4; pp. 451 - 459
Main Author: SARRAGA, R. F
Format: Journal Article
Language:English
Published: New York, NY Institute of Electrical and Electronics Engineers 01.07.1984
IEEE Computer Society
Subjects:
Analysis
Applied sciences
Computer languages
Computer programming
Computer science; control theory; systems
Data transmission
Exact sciences and technology
Software
Software engineering
Systems
Program analysis
PL1 language
Analyzer
Data structure
Algorithm
Data flow
ISSN:0098-5589, 1939-3520
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:PROBE is an experimental software system developed at the General Motors Research Laboratories for the analysis of PL/1 programs. It dissects their control flow structure and patterns of data use, thus pinpointing error-prone design and programming practices. An experimental data flow analyzer for PL/1 programs has been implemented within the PROBE system. A description is given of: 1. the data structures and algorithms used by the data flow analyzer, 2. the salient aspects of PL/1 usage in the analyzed production-level programs, and 3. the results of the data flow analysis. The simple design of PROBE shows how easily the user can analyze the most common uses of PL/1's block structure.
Bibliography:ObjectType-Article-1
SourceType-Scholarly Journals-1
content type line 14
ObjectType-Article-2
ObjectType-Feature-1
content type line 23
ISSN:0098-5589
1939-3520
DOI:10.1109/TSE.1984.5010259