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 条
  • [21] Parallel Data Flow analysis for OpenMP programs
    Huang, Lei
    Sethuraman, Girija
    Chapman, Barbara
    PRACTICAL PROGRAMMING MODEL FOR THE MULTI-CORE ERA, PROCEEDINGS, 2008, 4935 : 138 - 142
  • [22] ANALYSIS OF ENVIRONMENTAL NOISE DATA BY THE METHOD OF DYNAMIC DATA SYSTEM.
    DeVor, R.E.
    Kline, W.A.
    Tingley, K.M.
    Modeling and Simulation, Proceedings of the Annual Pittsburgh Conference, 1600,
  • [23] STATIC SCHEDULING OF SYNCHRONOUS DATA FLOW PROGRAMS FOR DIGITAL SIGNAL-PROCESSING
    LEE, EA
    MESSERSCHMITT, DG
    IEEE TRANSACTIONS ON COMPUTERS, 1987, 36 (01) : 24 - 35
  • [24] STATIC SCHEDULING OF SYNCHRONOUS DATA FLOW PROGRAMS FOR DIGITAL SIGNAL PROCESSING.
    Lee, Edward Ashford
    Messerschmitt, David G.
    IEEE Transactions on Computers, 1987, C-36 (01) : 24 - 35
  • [25] Development of software to perform data aquisition and processing in routine analysis employing flow injection system.
    Korn, M
    Paim, APS
    Barros, VAF
    Reis, BF
    QUIMICA NOVA, 1996, 19 (03): : 302 - 306
  • [26] ANALYSIS OF A LOOP FLOW TYPE OF AUTOMATED MANUFACTURING SYSTEM.
    Shioyama, Tadayoshi
    Kise, Hiroshi
    Nippon Kikai Gakkai Ronbunshu, C Hen/Transactions of the Japan Society of Mechanical Engineers, Part C, 1987, 53 (493): : 2048 - 2053
  • [27] Analysis of the venous part of the circulatory system. (I Communication)
    Hochrein, M
    NAUNYN-SCHMIEDEBERGS ARCHIV FUR EXPERIMENTELLE PATHOLOGIE UND PHARMAKOLOGIE, 1927, 124 : 343 - 355
  • [28] Flow-insensitive static analysis for detecting integer anomalies in programs
    Sarkar, Dipanwita
    Jagannathan, Muthu
    Thiagarajan, Jay
    Venkatapathy, Ramanathan
    PROCEEDINGS OF THE IASTED INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING, 2007, : 334 - +
  • [29] Static Privacy Analysis by Flow Reconstruction of Tainted Data
    Ferrara, Pietro
    Olivieri, Luca
    Spoto, Fausto
    INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING, 2021, 31 (07) : 973 - 1016
  • [30] Static Loop Bound Analysis of C Programs Based on Flow Analysis and Abstract Interpretation
    de Michiel, Marianne
    Bonenfant, Armelle
    Casse, Hugues
    Sainrat, Pascal
    RTCSA 2008: 14TH IEEE INTERNATIONAL CONFERENCE ON EMBEDDED AND REAL-TIME COMPUTING SYSTEMS AND APPLICATIONS - PROCEEDINGS, 2008, : 161 - +
12345