格式化字符串漏洞自动检测与测试用例生成

• 作者: 邓兆琨 黄晖 黄曙光 黄钊
• 来源期刊: 计算机应用研究
• 关键词: 格式化字符串漏洞 符号执行 自动检测 测试用例生成
• 年，卷（期）: 2019,（8）
• 所属期刊栏目: 信息安全技术
• 页码范围: 2464-2468
• 页数: 5页
• 分类号: TP309.2
• 语种: 中文
• DOI: 10.19734/j.issn.1001-3695.2018.01.0168

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	邓兆琨	国防科学技术大学电子对抗学院	2	3	1.0	1.0
2	黄钊	国防科学技术大学电子对抗学院	2	3	1.0	1.0
3	黄曙光	国防科学技术大学电子对抗学院	1	1	1.0	1.0
4	黄晖	国防科学技术大学电子对抗学院	1	1	1.0	1.0