一种C程序内存访问缺陷自动化检测方法研究.pdfVIP

第37卷 第6期 计 算 机 科 学 Vo1．37No．6 2010年 6月 Computer Science June2010 一 种 C程序 内存访 问缺陷自动化检测方法研究 杨 飚 张焕国 王后珍 (空天信息安全与可信计算教育部重点实验室 武汉430072) (武汉大学计算机学院 武汉430079)。 (武汉大学软件工程国家重点实验室 武汉430072)。 摘 要 符号执行是 目前较为行之有效的软件缺陷自动化检测方法，计算代价昂贵与程序执行路径爆炸是两个影响 其性能的关键 问题。提 出了一种针对 C语言程序 内存访问缺陷的符号执行检测方法，该方法可通过 自动化构造的测 试用例发现程序内部的内存访问缺陷，如缓冲区溢出、跨界访问和指针异常等。使用符号跟踪缓冲区长度的方法，一 方面减少了符号变量的数量，另一方面由此精确抽象C语言库中字符串操作