一种虚拟化环境的脆弱性检测方法

• 作者: 王瑞 连一峰 陈恺
• 来源期刊: 计算机应用与软件
• 学科: 工学
• 关键词: 虚拟化环境 符号链接 污点传播分析
• 年，卷（期）: 2012,（9）
• 所属期刊栏目: 基金项目论文
• 页码范围: 14-17,53
• 页数: 5页
• 分类号: TP393.08
• 字数: 5043字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-386x.2012.09.004

摘要

基于源代码的静态分析技术是检测软件脆弱性的重要手段之一.针对Linux平台下由不安全方式创建临时文件问题引起的符号链接脆弱性,提出一种基于污点传播分析的脆弱性检测方法.通过查找打开或创建文件等导致脆弱性的特征函数从源代码中识别漏洞触发变量,采用后向污点传播分析方法分析变量传递路径,判断其是否来源于污点源,从而检测出可能存在符号链接脆弱性.利用该方法对XEN 3.03版本的源代码进行检测,成功发现了2个漏洞,其中包括1个未知漏洞.实验表明,该方法是一种有效的脆弱性检测方法.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	连一峰	中国科学院软件研究所信息安全国家重点实验室	39	1097	14.0	33.0
5	陈恺	中国科学院软件研究所信息安全国家重点实验室	12	130	6.0	11.0