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 条
  • [1] STATIC DATA FLOW-ANALYSIS OF PL/I PROGRAMS WITH THE PROBE SYSTEM
    SARRAGA, RF
    IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1984, 10 (04) : 451 - 459
  • [2] VEVA - A COHERENT STATIC CODE ANALYSIS SYSTEM.
    Rader, J.A.
    1978, : 656 - 659
  • [3] TAINTMINI: Detecting Flow of Sensitive Data in Mini-Programs with Static Taint Analysis
    Wang, Chao
    Ko, Ronny
    Zhang, Yue
    Yang, Yuqing
    Lin, Zhiqiang
    2023 IEEE/ACM 45TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING, ICSE, 2023, : 932 - 944
  • [4] Vibroacoustical analysis of flow in pipe system.
    Mohamed, OA
    Charley, J
    Caignaert, G
    PROCEEDINGS OF THE 5TH INTERNATIONAL SYMPOSIUM ON FLUID STRUCTURE INTERACTION, AEROELASTICITY, FLOW INDUCED VIBRATION AND NOISE, PTS A AND B, 2002, : 881 - 888
  • [5] Automated Static Data Flow Analysis
    Aghav, Ishwari
    Tathe, Vishal
    Zajriya, Aashay
    Emmanuel, M.
    2013 FOURTH INTERNATIONAL CONFERENCE ON COMPUTING, COMMUNICATIONS AND NETWORKING TECHNOLOGIES (ICCCNT), 2013,
  • [6] Analysis of Static Data Flow Structures
    Sokolov, Danil
    Poliakov, Ivan
    Yakovlev, Alex
    FUNDAMENTA INFORMATICAE, 2008, 88 (04) : 581 - 610
  • [7] SERIAL DATA CHANNEL ANALYSIS SYSTEM.
    Anon
    IBM technical disclosure bulletin, 1985, 27 (11): : 6430 - 6436
  • [8] OAKLAND TEST BED FOR MARAD DATA FLOW SYSTEM.
    McCarthy, Thomas
    1600, (07):
  • [9] The Economic System. An Analysis of the Flow of Economic Life
    不详
    LIBRARY JOURNAL, 1952, 77 (15) : 1407 - 1407
  • [10] Memory Capacities for Programs and Data in the Pulse-Code (PC) System.
    Gerbig, K.
    Nachrichtentechnik Elektronik, 1975, 25 (01): : 14 - 17
12345