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

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:IEEE transactions on software engineering Jg. 10; H. 4; S. 451 - 459
1. Verfasser: SARRAGA, R. F
Format: Journal Article
Sprache:Englisch
Veröffentlicht: New York, NY Institute of Electrical and Electronics Engineers 01.07.1984
IEEE Computer Society
Schlagworte:
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-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung: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.
Bibliographie: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