×

Linux驱动程序缺陷检测研究

消耗积分:0 | 格式:rar | 大小:0.46 MB | 2017-11-21

分享资料个

　　驱动程序是操作系统的重要组成部分。驱动程序运行于内核态，其可靠性对于操作系统的安全可靠非常关键。针对Linux驱动程序，研究基于符号执行的驱动程序缺陷自动检测方法。提出了基于性质制导符号执行的Linux驱动程序缺陷检测框架，以及多性质制导的符号执行方法，支持针对多个缺陷性质的快速缺陷检测。在LLVM和KLEE的基础上实现了提出的框架和方法，并在实际的Linux驱动程序上开展了初步实验。实验效果表明了所提方法和检测框架的有效性和高效性。

Linux驱动程序缺陷检测研究

下载并关注上传者 开通VIP，低至0.08元下载/次

声明：本文内容及配图由入驻作者撰写或者入驻合作网站授权转载。文章观点仅代表作者本人，不代表电子发烧友网立场。文章及其配图仅供工程师学习之用，如有内容侵权或者其他违规问题，请联系本站处理。 举报投诉

评论(0)
发评论

下载排行榜

全部0条评论

快来发表一下你的评论吧 !