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

摘要：

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

关键词：驱动漏洞、漏洞检测、符号执行、驱动环境

所属期刊栏目：37

分类号：TP309.2(计算技术、计算机技术)

资助基金：国家自然科学基金资助项目61170050;核高基重大专项基金资助项目2012ZX01039-004

在线出版日期：2015-07-29（万方平台首次上网日期，不代表论文的发表时间）

页数：共6页

页码：1058-1063