STATIC DATA FLOW ANALYSIS OF PL/I PROGRAMS WITH THE PROBE SYSTEM.

被引：0
|
作者：
Sarraga, Ramon F.
机构：
来源：
Research Publication - General Motors Research Laboratories | 1982年
关键词：
COMPUTER FTWARE;
D O I：
暂无
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
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 work describes (a) the algorithms and data structures used by the data flow analyzer, (b) the salient aspects of PL/I usage in the analyzed production-level programs, and (c) the results of the data flow analysis.
引用
收藏
相关论文
共 50 条
  • [31] MAPCON: A PAVEMENT EVALUATION DATA ANALYSIS COMPUTER SYSTEM.
    Hudson, Stuart W.
    Hudson, W.Ronald
    Zaniewski, John P.
    1600,
  • [32] Analysis of intermittency and probe data in a supersonic flow with injection
    A. D. Cutler
    C. H. Johnson
    Experiments in Fluids, 1997, 23 : 38 - 47
  • [33] EFFICIENT DATA-FLOW ANALYSIS OF LOGIC PROGRAMS
    DEBRAY, SK
    JOURNAL OF THE ACM, 1992, 39 (04) : 949 - 984
  • [34] ON THE COMPLEXITY OF DATA-FLOW ANALYSIS OF LOGIC PROGRAMS
    DEBRAY, SK
    ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 1995, 17 (02): : 331 - 365
  • [35] ON THE COMPLEXITY OF DATA-FLOW ANALYSIS OF LOGIC PROGRAMS
    DEBRAY, SK
    LECTURE NOTES IN COMPUTER SCIENCE, 1992, 623 : 509 - 520
  • [36] Data-flow Analysis of Programs with Associative Arrays
    Hauzar, David
    Kofron, Jan
    Bastecky, Pavel
    ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2014, (150): : 56 - 70
  • [37] COMPILING DATA-FLOW ANALYSIS OF LOGIC PROGRAMS
    TAN, JC
    LIN, IP
    SIGPLAN NOTICES, 1992, 27 (07): : 106 - 115
  • [38] Dynamic data flow analysis for Java']Java programs
    Boujarwah, AS
    Saleh, K
    Al-Dallal, J
    INFORMATION AND SOFTWARE TECHNOLOGY, 2000, 42 (11) : 765 - 775
  • [39] Sequence-based Analysis of Static Probe Instrumentation Data For a VMM-based Anomaly Detection System
    Paundu, Ady Wahyudi
    Okuda, Takeshi
    Kadobayashi, Youki
    Yamaguchi, Suguru
    2016 IEEE 3RD INTERNATIONAL CONFERENCE ON CYBER SECURITY AND CLOUD COMPUTING (CSCLOUD), 2016, : 84 - 94
  • [40] Functional assessment of the stomatognathic system. Part 1: The role of static elements of analysis
    Saratti, Carlo Massimo
    Rocca, Giovanni Tommaso
    Vaucher, Paul
    Awai, Lea
    Papini, Andrea
    Zuber, Sascha
    Di Bella, Enrico
    Dietschi, Didier
    Krejci, Ivo
    QUINTESSENCE INTERNATIONAL, 2021, 52 (10): : 920 - 932
12345