|
|
哈尔滨工业大学学报 2013
一种使用静态分析的汇编代码缺陷检测方法DOI: 10.11918/j.issn.0367-6234.2013.02.010, PP. 53-59 Keywords: 汇编代码,静态分析,缺陷检测,延迟分支 Abstract: 针对当前缺乏汇编代码自动化审查工具的情况,对汇编代码人工审查方法进行研究,提出了一种基于静态分析的汇编代码缺陷检测方法．该方法中,在控制流线性化后,运用特征识别处理间接寻址跳转,采用结点克隆处理延迟条件分支,使用调用序列处理存在递归函数的过程间控制流图的构造．在此基础上,实现了ADSPSHARC汇编代码检测工具,并进行了静态分析测试和缺陷检测测试．测试结果表明,该方法可以有效地检测汇编代码中的不可退出点、循环、寄存器、以及内存访问缺陷．
|
