A program data flow analysis procedure-Reference-Cited by-同舟云学术

A program data flow analysis procedure

Published:1976-03 Issue:3 Volume:19 Page:137
ISSN:0001-0782
Container-title:Communications of the ACM
language:en
Short-container-title:Commun. ACM

Author:

Allen F. E.¹,Cocke J.¹

Affiliation:

1. IBM Thomas J. Watson Research Center, Yorktown Heights, NY

Abstract

The global data relationships in a program can be exposed and codified by the static analysis methods described in this paper. A procedure is given which determines all the definitions which can possibly “reach” each node of the control flow graph of the program and all the definitions that are “live” on each edge of the graph. The procedure uses an “interval” ordered edge listing data structure and handles reducible and irreducible graphs indistinguishably.

Publisher

Association for Computing Machinery (ACM)

Subject

General Computer Science

Link

https://dl.acm.org/doi/pdf/10.1145/360018.360025

Reference19 articles.

1. Aho A.V. and Ullman J.D. The Theory of Parsing Translation and Compiling Vol. 2. Prentice-Hall Englewood Cliffs N.J. 1973. Aho A.V. and Ullman J.D. The Theory of Parsing Translation and Compiling Vol. 2. Prentice-Hall Englewood Cliffs N.J. 1973.

2. Node listings for reducible flow graphs

3. Allen F.E. Control flow analysis. SIGPLAN Notices (ACM Newsletter) 5 (July 1970) 1-19. 10.1145/800028.808479 Allen F.E. Control flow analysis. SIGPLAN Notices (ACM Newsletter) 5 (July 1970) 1-19. 10.1145/800028.808479

Cited by 231 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Sound and precise static analysis using a generalization of static single assignment and value numbering;International Journal on Software Tools for Technology Transfer;2024-08-27

2. Software Weakness Detection in Solidity Smart Contracts Using Control and Data Flow Analysis: A Novel Approach with Graph Neural Networks;Electronics;2024-08-10

3. CodeArt: Better Code Models by Attention Regularization When Symbols Are Lacking;Proceedings of the ACM on Software Engineering;2024-07-12

4. Wavefront Threading Enables Effective High-Level Synthesis;Proceedings of the ACM on Programming Languages;2024-06-20

5. RNA: R1CS Normalization Algorithm Based on Data Flow Graphs for Zero-Knowledge Proofs;Formal Aspects of Computing;2024-05-17