资料下载
×
基于符号执行技术实现的驱动程序的漏洞检测
消耗积分:2 |
格式:rar |
大小:0.65 MB |
2017-12-05
分享资料个
研究表明，驱动程序的漏洞是造成Linux系统安全问题的主要原因之一，可引发提权、拒绝服务等高危情况。针对无具体设备的情况下，无法对驱动程序进行运行时漏洞检测的问题，提出了对驱动程序进行符号化执行的思路，提出了一种基于符号执行技术实现的驱动程序模拟环境，可以用于分析和检测Linux设备驱动程序中存在的安全漏洞。该环境通过模拟内核提供给驱动程序的服务接口，使驱动程序可以在应用层进行符号执行进而可对其进行漏洞检测。同时，该环境无需真实硬件的支持，并且具备覆盖率高、执行速度快、易于扩展等特点。通过将该环境作用于6个不同的Linux设备驱动，检测出了6个真实的漏洞，其中三个漏洞已向驱动维护者提交补丁并被接受。实验结果表明，符号化驱动环境具备一定的漏洞检测能力，并且拥有资源消耗低、检测速度快和不依赖于硬件设备的特点。
声明：本文内容及配图由入驻作者撰写或者入驻合作网站授权转载。文章观点仅代表作者本人，不代表电子发烧友网立场。文章及其配图仅供工程师学习之用，如有内容侵权或者其他违规问题，请联系本站处理。 举报投诉
评论(0)
发评论
- 相关下载
- 相关文章
