A New Perspective for Understanding Data Flow Analysis

被引：0

作者：

Lin, Hai ^{[1
]}

机构：

[1] Shenyang Normal Univ, Coll Software, Shenyang 110034, Peoples R China

来源：

PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON ADVANCES IN MECHANICAL ENGINEERING AND INDUSTRIAL INFORMATICS | 2015年 / 15卷

关键词：

data flow analysis; model checking;

D O I：

暂无

中图分类号：

TP [自动化技术、计算机技术];

学科分类号：

0812 ;

摘要：

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.

引用

页码：1522 / 1524

页数：3