过程间的数据流分析技术
THE TECHNIQUE OF INTERPROCEDURE DATA FLOW ANALYSIS
-
摘要: 过程间数据流分析是一件比较复杂而又很有意义的工作,本文提出了一种过程间数据流分析技术,讨论了在过程间数据流分析中全局量和参数对数据流分析的影响,给出了有效的解决方法,并以此技术为基础,构造了一个程序静态分析系统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.
下载: