使用符号化驱动环境检测Linux设备驱动程序的漏洞.pdf

【使用符号化驱动环境检测Linux设备驱动程序的漏洞】 文章主要探讨了Linux设备驱动程序漏洞对系统安全的影响，以及在缺乏具体硬件设备情况下如何进行驱动程序的漏洞检测。研究指出，驱动程序的漏洞是导致Linux系统安全问题的主要原因之一，可能引发权限提升、拒绝服务等严重安全威胁。为了解决无法在没有实际设备的情况下对驱动程序进行运行时漏洞检测的问题，作者提出了利用符号化执行技术来模拟驱动程序执行的思路。 符号化驱动环境（Symbolic Device Driver Environment, SDDE）是文章提出的一种解决方案。这个环境模拟了内核提供给驱动程序的服务接口，使得驱动程序能够在应用层进行符号执行，从而便于对驱动程序进行漏洞检测。由于不需要真实硬件的支持，SDDE具有覆盖率高、执行速度快、易于扩展等优点。 通过在六个不同的Linux设备驱动上应用SDDE，文章的实验结果成功检测出了六个真实的漏洞，并且其中三个已经向驱动维护者提交了补丁并被接受。这表明符号化驱动环境在检测漏洞方面具有一定的能力，且其资源消耗低、检测速度快、不依赖硬件设备的特点使其成为一种有效的方法。 关键词：漏洞检测；符号执行；Linux；设备驱动 总结来说，本文提出了符号化驱动环境（SDDE）作为一种新的方法来检测Linux设备驱动程序中的安全漏洞。这种方法在缺乏硬件设备的情况下依然能够高效地运行，降低了检测成本，提升了检测效率，并且能对多种驱动进行测试，为Linux系统的安全性提供了有力保障。