A New Perspective for Understanding Data Flow Analysis
Authors
Hai Lin
Corresponding Author
Hai Lin
Available Online April 2015.
- 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/).
Cite this article
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 -