计算机应用研究

作者：黄钊,黄曙光,邓兆琨,黄晖,

单位：国防科学技术大学电子对抗学院,合肥230037；

关键词：格式化字符串漏洞,符号执行,自动检测,测试用例生成,

基金：国家重点研发计划重点专项项目；；

格式化字符串漏洞是一种危害高、影响广的软件漏洞。当前漏洞检测方式存在人工依赖度高、误报率高、检测模型单一、未能充分考虑格式化字符串漏洞特点等多种局限性。针对以上问题，对格式化字符串漏洞特征进行分析，设计并实现了一种基于符号执行的格式化字符串漏洞自动检测与测试用例生成的系统。该方法可自动检测Linux下二进制程序中格式化字符串漏洞的存在性，判定其是否可能导致任意内存读写危害，并生成稳定有效的测试用例。

来源：2019年第8期

《计算机应用研究》期刊编辑部

查看计算机应用研究杂志2019年第8期