| 过程间的数据流分析技术 |
| |
| 引用本文： | 刘磊 叶晓煜. 过程间的数据流分析技术[J]. 计算机研究与发展, 1997, 34(4): 303-306 |
| |
| 作者姓名： | 刘磊 叶晓煜 |
| |
| 作者单位： | 吉林大学计算机科学系 |
| |
| 摘 要： | 过程间数据流分析是一件比较复杂而又很有意义的工作，本文提出了一种过程间数据流分析技术，讨论了在过程间数据流分析中全局量和参数对数据流分析的影响，给出了有效的解决方法，并以此技术为基础，构造了一种程序静态分析系统。
|
| 关 键 词： | 数据流分析 程序设计 |
THE TECHNIQUE OF INTERPROCEDURE DATA FLOW ANALYSIS |
| |
| LIU Lei YE Xiao Yu. THE TECHNIQUE OF INTERPROCEDURE DATA FLOW ANALYSIS[J]. Journal of Computer Research and Development, 1997, 34(4): 303-306 |
| |
| Authors: | LIU Lei YE Xiao Yu |
| |
| Abstract: | The interprocedure data flow analysis is a complex and significant work. This paper puts forward a technique for interprocedure data flow analysis and discusses how global variables and parameters have effects on the analysis. An efficient solving method is given. A static program analysis system based on the technique is constructed. |
| |
| Keywords: | data flow analysis procedure side effect |
| 本文献已被 CNKI 维普 等数据库收录！ |
