摘要
程序中的无用代码意味着算法设计、代码实现中存在着问题。无用代码的存在增加了软件开发、测试、使用中的开销,对正确进行程序测试评估产生影响。在对无用代码的表现形式进行分析的基础上,对影响无用代码检测所要进行的数据流分析的各种因素进行了讨论。文中关于到达定值数据流分析过程中的常数传播、谓词表达式的变换、程序插装等的关于谓词表达式的求解方法为无效分支的检测提供了依据。
The occurrence of dead codes in programs implies that there is something wrong with arithmetic designing and coding. It will increase the cost that has to be spent on program design, coding, maintenance and testing. Bases on the analysis of dead codes＇ appearance, the factors that have effect on the data-flow analysis associated with the dead codes detection are discussed in this paper. Moreover, the contest propagation during the reach-define data-flow analysis, the predicate express mutation method, and the program instrumentation are discussed. It will help to detect dead codes in a program.
出处
《北京化工大学学报（自然科学版）》
CAS
CSCD
北大核心
2007年第A01期93-96,共4页
Journal of Beijing University of Chemical Technology(Natural Science Edition)
关键词
无用代码
数据流分析
谓词相关
程序插装
dead code
data-flow analysis
predicate correlation
program instrumentation
