辅助检测Linux驱动中漏洞的符号驱动环境

• 作者: 徐永健 杨维康 肖奇学 范文良 茅俊杰 陈渝
• 来源期刊: 计算机工程与科学
• 学科: 工学
• 关键词: 驱动漏洞 漏洞检测 符号执行 驱动环境
• 年，卷（期）: 2015,（6）
• 所属期刊栏目: 高性能计算
• 页码范围: 1058-1063
• 页数: 6页
• 分类号: TP309.2
• 字数: 5752字
• 语种: 中文
• DOI: 10.3969/j.issn.1007-130X.2015.06.005

摘要

Linux系统中的驱动漏洞被证实是内核漏洞的主要来源,可以被利用导致严重的安全问题.通过系统模型、驱动与内核的交互和驱动与设备的交互这三部分的设计与实现,构建了符号驱动环境,用于辅助检测Linux驱动中的漏洞.使用符号驱动环境对两个真实的驱动进行检测,成功检测出了两个漏洞,证实了该工具的可行性.与SymDrive工具的性能相比,符号驱动环境执行速度快90％,覆盖率提高20％.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	陈渝	清华大学计算机科学与技术系	46	780	13.0	27.0
2	杨维康	清华大学计算机科学与技术系	10	35	3.0	5.0
3	茅俊杰	清华大学计算机科学与技术系	5	31	2.0	5.0
4	肖奇学	清华大学计算机科学与技术系	2	2	1.0	1.0
5	范文良	清华大学计算机科学与技术系	2	2	1.0	1.0
6	徐永健	清华大学计算机科学与技术系	2	2	1.0	1.0