基于符号执行的格式化字符串漏洞自动验证方法研究

• 作者: 王瑞鹏 张旻 黄晖 沈毅
• 来源期刊: 空军工程大学学报（自然科学版）
• 关键词: 格式化字符串漏洞 漏洞验证 符号执行 漏洞自动验证
• 年，卷（期）: 2021,（3）
• 所属期刊栏目: 军事智能|Military Intelligence
• 页码范围: 82-88
• 页数: 7页
• 分类号: TP309.2
• 语种: 中文
• DOI: 10.3969/j.issn.1009-3516.2021.03.013

摘要

格式化字符串漏洞是一种常见的危害较大的软件漏洞.现有格式化字符串漏洞自动验证系统未充分考虑参数存储位置位于栈以外空间的情况,造成对该部分漏洞可利用性的误判.针对该问题,论文设计实现了一种基于符号执行的格式化字符串漏洞自动验证方法,首先根据参数符号信息检测当前格式化字符串函数漏洞,然后分别构建参数存储于不同内存空间情况下的漏洞验证符号约束,最后利用约束求解自动得到漏洞验证代码,实现了格式化字符串漏洞的自动验证.在Linux系统下对不同类型测试程序进行了实验,验证了方法的有效性.