基于有限约束满足问题的溢出漏洞动态检测方法

• 作者: 冯登国 苏璞睿 陈恺
• 来源期刊: 计算机学报
• 学科: 工学
• 关键词: 计算机安全 漏洞检测 动态检测 CSP 可执行程序
• 年，卷（期）: 2012,（5）
• 所属期刊栏目: 研究论文与技术报告
• 页码范围: 898-909
• 分类号: TP309
• 字数: 12157字
• 语种: 中文
• DOI: 10.3724/SP.J.1016.2012.00898

摘要

溢出型漏洞是最为普遍且最具危害的漏洞类型之一,溢出漏洞检测也是目前国内外研究的热点问题.目前漏洞检测方法主要分为白盒测试和黑盒测试两类.前者主要针对程序指令进行漏洞分析,但存在效率较低、检测结果不准确等缺点；后者难以保证程序覆盖的全面性与测试数据的针对性.文中提出了一种基于有限约束满足性问题(Constraint Satisfaction Problem,CSP)的溢出漏洞动态检测方法.在程序执行过程中,结合动态污点传播和动态循环分析,选取可能产生溢出漏洞的语句并生成CSP表达式,表达式包括语句的执行条件和漏洞产生条件两部分；通过对此CSP表达式化简求解,验证漏洞的存在性与漏洞的触发条件.该方法可直接分析可执行程序,解决了间接跳转、多态代码等静态分析中难以解决的问题.为了验证该方法的有效性,作者开发了一套原型系统并进行相关实验,结果表明该方法缩小了漏洞分析范围,提高了分析效率.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	冯登国	中国科学院软件研究所	243	6305	35.0	71.0
2	苏璞睿	中国科学院软件研究所	44	734	17.0	26.0
3	陈恺	中国科学院信息工程研究所信息安全国家重点实验室	12	130	6.0	11.0