基于格的数据流分析框架研究  

A Study of Data-flow Analysis Framework Based on Lattice

作　　者：刘晓锋[1] 吴亚娟[1] 李明东[1] 曾宪华[1] 

机构地区：[1]西华师范大学计算机学院,四川南充637002

出　　处：《计算机工程与应用》2006年第21期48-51,共4页Computer Engineering and Applications

基　　金：西华师范大学校级科研资助项目(编号:04A021)

摘　　要：数据流分析是编译系统中的一个重要的内容,也是程序静态分析的一个方面。论文按程序执行路径对数据流分析问题进行分类,这有利于建立数据流分析的统一的描述模型,并以此为基础论述了数据流分析框架与数据流分析的内在联系,这为并发程序的数据流分析奠定了良好的基础。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 analysm in this paper.h is helpful to create a unified descriptive model about data-flow analysis,to discuss the internal relationship between data-flow analysis and its frameworks,and set up a foundation for the data flow analysis on concurrent program.

关 键 词：数据流 信息流 控制流图 前向流 后向流 

分 类 号：TP314[自动化与计算机技术—计算机软件与理论]