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 条
  • [41] APPLICATION OF FLOW INJECTION ANALYSIS TO WATER QUALITY MONITORING SYSTEM.
    Kondo, Yasuo
    Shimomura, Hiroaki
    Katoh, Michio
    Boshoku gijutsu, 1987, 36 (04): : 234 - 238
  • [42] A PL/I PROGRAM FOR THE REGRESSION-ANALYSIS OF GROUPED SURVIVAL-DATA
    KRZYZANOWSKI, M
    COMPUTER PROGRAMS IN BIOMEDICINE, 1982, 14 (01): : 53 - 56
  • [43] Towards a flow analysis for embedded system C programs
    Gustafsson, J
    Ermedahl, A
    Lisper, B
    WORDS 2005: 10TH IEEE INTERNATIONAL WORKSHOP ON OBJECT-ORIENTED REAL-TIME DEPENDABLE, PROCEEDINGS, 2005, : 287 - 297
  • [44] Analysis of DNA Data Using Hadoop Distributed File System.
    Senthilkumar, M.
    Ilango, P.
    RESEARCH JOURNAL OF PHARMACEUTICAL BIOLOGICAL AND CHEMICAL SCIENCES, 2016, 7 (03): : 796 - 803
  • [45] IMB PC BASED MOSSBAUER SPECTROMETER AND DATA ANALYSIS SYSTEM.
    Faigel, Gy.
    Haustein, P.E.
    Siddons, D.P.
    Nuclear Instruments and Methods in Physics Research, Section B: Beam Interactions with Materials and Atoms, 1986, B17 (04) : 363 - 367
  • [46] Verifying Data Secure Flow in AUTOSAR Models by Static Analysis
    Bernardeschi, Cinzia
    Di Natale, Marco
    Dini, Gianluca
    Palmieri, Maurizio
    ICISSP: PROCEEDINGS OF THE 3RD INTERNATIONAL CONFERENCE ON INFORMATION SYSTEMS SECURITY AND PRIVACY, 2017, : 704 - 713
  • [47] Structurally Defined Conditional Data-Flow Static Analysis
    Sherman, Elena
    Dwyer, Matthew B.
    TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, TACAS 2018, PT II, 2018, 10806 : 249 - 265
  • [48] INFORMATION-FLOW AND DATA-FLOW ANALYSIS OF WHILE-PROGRAMS
    BERGERETTI, JF
    CARRE, BA
    ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 1985, 7 (01): : 37 - 61
  • [49] DYNAMIC DATA FLOW-ANALYSIS OF C-PROGRAMS
    CALLISS, FW
    CORNELIUS, BJ
    PROCEEDINGS OF THE TWENTY-FIRST, ANNUAL HAWAII INTERNATIONAL CONFERENCE ON SYSTEM SCIENCES, VOLS 1-4: ARCHITECTURE TRACK, SOFTWARE TRACK, DECISION SUPPORT AND KNOWLEDGE BASED SYSTEMS TRACK, APPLICATIONS TRACK, 1988, : B518 - B523
  • [50] Efficient composite data flow analysis applied to concurrent programs
    Naumovich, G
    Clarke, LA
    Osterweil, LJ
    ACM SIGPLAN NOTICES, 1998, 33 (07) : 51 - 58
12345