结合模糊测试和动态分析的内存安全漏洞检测.pdfVIP

://

httwww．skx．com

pjj

:/

DOI１０．１１８９６skx．２２１２００１３６

jj

结合模糊测试和动态分析的内存安全漏洞检测

马莺姿陈哲殷家乐毛瑞琪

南京航空航天大学计算机科学与技术学院南京

２１１１００

()

１８８６４８２０２７０＠１６３．com

.

摘要语言因其在运行速度及内存控制方面的优势而被广泛应用于系统软件和嵌入式软件的开发指针的强大功能使得

C

,,、、

它可以直接对内存进行操作然而语言并未提供对内存安全性的检测这就使得指针的使用会导致内存泄露缓冲区溢出

C

,.

多次释放等内存错误有时这些错误还会造成系统崩溃或内部数据破坏等的致命伤害当前已存在多种能够对程序进行内

C

.,

存安全漏洞检测的技术其中动态分析技术通过插桩源代码来实现对程序的运行时内存安全检测但是只有当程序执行到

C

,;

错误所在路径时才能发现错误因此它依赖于程序的输入而模糊测试是一种通过向程序提供输入并监视程序运行结果来发现

,,.,

软件漏洞的方法但是无法检测出没有导致程序崩溃的内存安全性错误也无法提供错误所在位置等详细信息除此之外由

,,,

于语言的语法比较复杂在对一些大型复杂项目进行分析时动态分析工具经常无法正确处理一些不常见的特定结构导致

C

.,,

插桩失败或者插桩后的程序无法被正确编译针对上述问题通过将动态分析技术与模糊测试技术结合并对已有方法进行改

,.,,

进后提出了一种能够对包含特定结构的程序进行内存安全检测的方法文中进行了可靠性和性能的实验结果表明在增