堆分配大小可控的检测与分析

摘要：

不当内存操作一直是引发软件漏洞的主要原因之一.堆分配大小可控(CMA)是指当动态内存分配的关键参数可以被外界输入控制时,恶意用户可以通过精心构造输入数据导致非预期的内存分配.该文讨论了CMA可能引发的相关安全问题和CMA的检测方法.该CMA检测方法主要通过结合静态路径分析和路径导向符号执行技术的优势,系统地检测目标代码中的CMA问题.在经典的符号执行引擎KLEE的基础上,实现了CMA检测原型系统SCAD;通过对Linux系统常用的工具程序Coreutils进行测试,SCAD发现了10个CMA相关的问题,其中3个属于未公开漏洞.实验结果表明:SCAD的导向路径搜索算法与KLEE提供的8个路径搜索算法相比具有明显优势;针对内存分配相关的代码,SCAD的导向符号执行相比传统的符号执行引擎具有更高的代码覆盖率.

关键词：漏洞分析、符号执行、内存分配、堆分配大小可控

所属期刊栏目：55

分类号：TP311.11(计算技术、计算机技术)

资助基金：国家自然科学基金;国家科技重大专项

在线出版日期：2015-08-25（万方平台首次上网日期，不代表论文的发表时间）

页码：572-578