|
|||||
|
|
| SymFuzz:一种复杂路径条件下的漏洞检测技术 | |
| 作者姓名： | 李明磊 黄晖 陆余良 朱凯龙 |
| 作者单位： | 国防科技大学电子对抗学院 合肥230037;网络空间安全态势感知与评估安徽省重点实验室 合肥230037 |
| 基金项目： | 国家重点研发计划项目(2017YFB0802905);2020年度重庆市出版专项资金资助项目。 |
| 摘 要： | 当前漏洞检测技术可以实现对小规模程序的快速检测,但对大型或路径条件复杂的程序进行检测时其效率低下.为实现复杂路径条件下的漏洞快速检测,文中提出了一种复杂路径条件下的漏洞检测技术SymFuzz.SymFuzz将导向式模糊测试技术与选择符号执行技术相结合,通过导向式模糊测试技术对程序路径进行过滤,利用选择符号执行技术对可能... |
| 关 键 词： | 模糊测试 符号执行 静态分析 污点分析 漏洞检测 |
| 本文献已被 维普 万方数据 等数据库收录！ | |