文档介绍：学校代码： 10385 分类号：
研究生学号：1400222003 密级：
二进制代码漏洞静态检测研究
Research on Static Detection of Binary Code Vulnerability
作者姓名：章亮
指导教师：郑力新教授
合作教师：王佳斌副教授
学科：计算机应用技术
研究方向：网络信息安全
所在学院：工学院
论文提交日期：二零一七年三月十五日
学位论文独创性声明
本人声明兹呈交的学位论文是本人在导师指导下完成的研究成
。
果论文写作中不包含其他人已经发表或撰写过的研究内容，如参考
他人或集体的科研成果，均在论文中以明确的方式说明。本人依法享
有和承担由此论文所产生的权利和责任。
＾％
ｒｒ〇
论文作者签名： 签名日期：
学位论文版权使用授权声明
本人同意授权华侨大学有权保留并向国家机关或机构送交学位论
文的复印件和电子版，允许学位论文被查阅和借阅。本人授权华侨大
学可以将本学位论文的全部内容或部分内容编入有关数据库进行检
索，可以采用影印、缩印或扫描等复制手段保存和汇编本学位论文。
＞７＾
论女作者容名指导教师容名：＾￥
签名日期：签名日期：
摘要
摘要
软件漏洞会增加网络安全事件，基于源码的检测在过去十年已经引起安全
研究人员的广泛关注了，并在此基础上实现了很多源码漏洞检测工具，检测效
果明显。近几年各种商业软件频繁地爆出漏洞，严重影响到企业的安全，因此
第三方应用程序的安全受到越来越多的重视。与高级语言漏洞检测相比，二进
制代码由于缺乏程序属性信息且机器码指令相对高级语言更难以理解，因此对
二进制代码的检测要困难的多，目前国内外关于这项研究还处于起步阶段。
在现有的二进制代码漏洞检测方法中，动态检测是在程序运行时进行检查，
往往需要消耗大量 CPU 资源，自动化程度低。与动态检测相比，静态检测不需
要执行程序，而是通过模拟程序执行流程来遍历代码，可以检测程序所有路径，
能够在程序执行前检测漏洞，而且不用消耗大量 CPU 资源，自动化程度高。
本文采用静态分析方法，对现代处理器指令集的语义进行分析。将二进制
代码转换成更易于理解和分析的中间表示语言，再应用源码分析技术检测转换
后的中间表示语言，同时针对现有中间表示语言的不足，本文重新设计了一种
易于分