| 一种使用静态分析的汇编代码缺陷检测方法 |
| |
| 引用本文： | 邱景,苏小红,马培军.一种使用静态分析的汇编代码缺陷检测方法[J].哈尔滨工业大学学报,2013,45(2):53-59. |
| |
| 作者姓名： | 邱景 苏小红 马培军 |
| |
| 作者单位： | 哈尔滨工业大学 计算机科学与技术学院, 150001 哈尔滨
;哈尔滨工业大学 计算机科学与技术学院, 150001 哈尔滨
;哈尔滨工业大学 计算机科学与技术学院, 150001 哈尔滨
|
| |
| 基金项目： | 国家自然科学基金资助项目 (61173021). |
| |
| 摘 要： | 针对当前缺乏汇编代码自动化审查工具的情况,对汇编代码人工审查方法进行研究,提出了一种基于静态分析的汇编代码缺陷检测方法.该方法中,在控制流线性化后,运用特征识别处理间接寻址跳转,采用结点克隆处理延迟条件分支,使用调用序列处理存在递归函数的过程间控制流图的构造.在此基础上,实现了ADSP SHARC汇编代码检测工具,并进行了静态分析测试和缺陷检测测试.测试结果表明,该方法可以有效地检测汇编代码中的不可退出点、循环、寄存器、以及内存访问缺陷.
|
| 关 键 词： | 汇编代码 静态分析 缺陷检测 延迟分支 |
Defect detection for assembly codes based on static analysis |
| |
| QIU Jing,SU Xiaohong,MA Peijun.Defect detection for assembly codes based on static analysis[J].Journal of Harbin Institute of Technology,2013,45(2):53-59. |
| |
| Authors: | QIU Jing SU Xiaohong MA Peijun |
| |
| Affiliation: | (School of Computer Science and Technology,Harbin Institute of Technology,150001 Harbin,China) |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 CNKI 等数据库收录！ |
| 点击此处可从《哈尔滨工业大学学报》浏览原始摘要信息 |
|
点击此处可从《哈尔滨工业大学学报》下载全文 |
|
