辅助检测Linux驱动中漏洞的符号驱动环境
【出 处】:《
计算机工程与科学
》
CSCD
2015年第37卷第6期 1058-1063页,共6页
【作 者】:
范文良
;
茅俊杰
;
肖奇学
;
徐永健
;
杨维康
;
陈渝
【摘 要】
Linux系统中的驱动漏洞被证实是内核漏洞的主要来源,可以被利用导致严重的安全问题。通过系统模型、驱动与内核的交互和驱动与设备的交互这三部分的设计与实现,构建了符号驱动环境,用于辅助检测Linux驱动中的漏洞。使用符号驱动环境对两个真实的驱动进行检测,成功检测出了两个漏洞,证实了该工具的可行性。与SymDrive工具的性能相比,符号驱动环境执行速度快90%,覆盖率提高20%。
相关热词搜索: 驱动漏洞 漏洞检测 符号执行 驱动环境 driver bugs detect hugs symbolic execution driver environment