摘要
本文提出一种基于逆向程序流分析的程序依赖性分析的形式化通用模型,它虽然基于一些很简单的概念与定义,但在程序测试、排错、维护、代码优化等多个方面有着广泛的应用。
This paper presents a general formal model for program dependency analysis based on reverse program flow analysis.Although based on some simple concepts and definitions,it has a wide application in many,areas,such as program testing,debugging,maintenance and code optimization,etc.
出处
《计算机学报》
EI
CSCD
北大核心
1993年第5期385-392,共8页
Chinese Journal of Computers
基金
国家自然科学基金
航空科学基金
南京航空航天大学青年科学基金
关键词
逆向程序流
分析
程序
依赖性
Reverse program flow analysis,program dependency,data flow,Control flow.
