辅助检测Linux驱动中漏洞的符号驱动环境
来源：计算机工程与科学杂志2015年第6期北京时间：
作者：范文良，茅俊杰，肖奇学，徐永健，杨维康，陈渝
单位：（清华大学计算机科学与技术系，北京 100084）
摘要：Linux系统中的驱动漏洞被证实是内核漏洞的主要来源，可以被利用导致严重的安全问题。通过系统模型、驱动与内核的交互和驱动与设备的交互这三部分的设计与实现，构建了符号驱动环境，用于辅助检测Linux驱动中的漏洞。使用符号驱动环境对两个真实的驱动进行检测，成功检测出了两个漏洞，证实了该工具的可行性。与SymDrive工具的性能相比，符号驱动环境执行速度快90%，覆盖率提高20%。
关键词：驱动漏洞,漏洞检测,符号执行,驱动环境,
基金资助：国家自然科学基金资助项目（61170050）；核高基重大专项基金资助项目（2012ZX01039004）
