A New Perspective for Understanding Data Flow Analysis

DOI

10.2991/ameii-15.2015.280How to use a DOI?

Keywords

data flow analysis; model checking

Abstract

Data flow analysis is a technique that is widely used in compilers and program analysis tools. A lot of practical problems use data flow analysis, e.g. live variable analysis. The usual way of solving data flow analysis problem is to solve for the fix point of some simultaneous equations. This is done via an iterative process. In this paper, we argue that data flow analysis can be understood as a temporal logic model checking problem. We illustrate this idea using the problem of live variable analysis. This provides a new perspective for understanding data flow analysis.

Copyright

© 2015, the Authors. Published by Atlantis Press.

Open Access

This is an open access article distributed under the CC BY-NC license (http://creativecommons.org/licenses/by-nc/4.0/).

Download article (PDF)

TY  - CONF
AU  - Hai Lin
PY  - 2015/04
DA  - 2015/04
TI  - A New Perspective for Understanding Data Flow Analysis
BT  - Proceedings of the International Conference on Advances in Mechanical Engineering and Industrial Informatics
PB  - Atlantis Press
SP  - 1522
EP  - 1524
SN  - 2352-5401
UR  - https://doi.org/10.2991/ameii-15.2015.280
DO  - 10.2991/ameii-15.2015.280
ID  - Lin2015/04
ER  -