摘要
数据流分析是编译系统中的一个重要的内容,也是程序静态分析的一个方面。本文按程序执行路径对数据流分析问题进行分类,这有利于建立数据流分析的统一的描述模型,并以此为基础论述了数据流分析框架与数据流分析的内在联系,这为并发程序的数据流分析奠定了良好的基础。
Data-flow analysis is the most important part in the compiling system. It is also one aspect of the program static analysis. According to the execution path in a program,it is classified into arbitrary paths data flow analysis and all paths data flow analysis in this paper. It is helpful to create a unified descripti ve model about data-flow analysis, discuss the internal relationship between data-flow analysis and its frameworks, and set up a foundation for the data flow analysis on concurrent program.
出处
《科技广场》
2005年第10期16-20,共5页
Science Mosaic
基金
西华师范大学校级科研项目(04A021)资助
关键词
数据流
信息流
控制流图
前向流
后向流
Data-flow
Information-flow
Control Flow Graph
Forward-flow
Backward-flow
