基于信息流的整数漏洞插装和验证

• 作者: 孙浩 曾庆凯 李会朋
• 来源期刊: 软件学报
• 学科: 工学
• 关键词: 整数漏洞 信息流 污点分析 插装
• 年，卷（期）: 2013,（12）
• 所属期刊栏目: 系统软件与软件工程
• 页码范围: 2767-2781
• 页数: 15页
• 分类号: TP311
• 字数: 12512字
• 语种: 中文
• DOI: 10.3724/SP.J.1001.2013.04385

摘要

为降低整数漏洞插装验证的运行开销,提出基于信息流的整数漏洞插装方法.从限定分析对象范围的角度出发,将分析对象约减为污染信息流路径上的所有危险整数操作,以降低静态插装密度.在GCC平台上,实现了原型系统DRIVER(detect and run-time check integer-based vulnerabilities with information flow).实验结果表明,该方法具有精度高、开销低、定位精确等优点.