一种使用静态分析的汇编代码缺陷检测方法.pdfVIP

第45卷第2期 哈尔滨工业大学学报 V01．45No．2 201 3年2月 OFHARBININSTITUTEOFTECHNOLOGYFeb．2013 JOURNAL 一种使用静态分析的汇编代码缺陷检测方法 邱 景，苏小红，马培军 (哈尔滨工业大学计算机科学与技术学院，150001哈尔滨) 摘要：针对当前缺乏汇编代码自动化审查工具的情况，对汇编代码人工审查方法进行研究，提出了一种基于静态分析 的汇编代码缺陷检测方法．该方法中，在控制流线性化后，运用特征识别处理间接寻址跳转，采用结点克隆处理延迟条件 SHARC汇编代码检测工 分支，使用调用序列处理存在递归函数的过程间控制流图的构造．在此基础上，实现了ADSP 具，并进行了静态分析测试和缺陷检测测试．测试结果表明，该方法可以有效地检测汇编代码中的不可退出点、循环、寄 存器、以及内存访问缺陷． 关键词：汇编代码；静态分析；缺陷检测；延迟分支 中图分类号：TP313 文献标志码：A 文章编号：0367—6234(2013)02—0053—07 Defectdetectionfor codesbasedonstatic assembly analysis QIUJing，SUXiaohong，MAPeijun of Scienceand Instituteof (SchoolComputer Technology，HarbinTechnology，150001Harbin，China) atthe situationthatneedsto acodereviewtoolfor present develop assemblycodes，this Abstract：Aiming studiesthe ofmanualcodereviewsand amethodtodetectdefectsin codes paper procedure proposes assembly basedonstatic thecontrolflow areusedtosolveindirect analysis．After linearization，compilerpatterns node isusedtorecoverthecontrolflowofthe branch．Intheconstructionofinter— cloning delayed jumps，and flow recursivefunctionisin—linedmeansofacalltracewithlimited control by procedural graph，the depth． The toolforADSPSHARC codesisrealized resultsshowthatthe prototyping assembly finally．Experimental toolcan detectdefectsinloops，registers，andmemoryaccessing． effectively