热门搜索： 2023 2024 2022 无人机 1

您现在的位置是：团子下载站 > 其他 > Linux驱动程序缺陷检测研究

Linux驱动程序缺陷检测研究

资源大小：0.46 MB
上传时间：2021-08-12
下载次数：0次
浏览次数：23次
资源积分：1积分
标签： 驱动程序 Linux

资源简介

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

您可能感兴趣的

同类别推荐

叶落 7小时前成为了本站会员
极 1周前成为了本站会员
Nick 1个月前成为了本站会员
云胡不喜 1个月前成为了本站会员
???麻麻 3个月前成为了本站会员
holodeck 3个月前成为了本站会员
justin 4个月前成为了本站会员
15319348679 成为了本站会员
最近很想吃重庆火锅成为了本站会员
Tal 成为了本站会员

my13297479 2周前下载了：

GB∕T 2423.10-2019 环境试验第2部分：试验方法试验Fc：振动(正弦)
my13297479 2周前下载了：

GB∕T 15970.7-2017 金属和合金的腐蚀应力腐蚀试验第7部分：慢应变速率试验
my13297479 2周前下载了：

GB∕T 15970.1-2018 金属和合金的腐蚀应力腐蚀试验第1部分：试验方法总则
风信子 2个月前下载了：

GB 50603-2010 钢铁企业总图运输设计规范
haosbro 3个月前下载了：

ISO-TS16949-2002(E),汽车行业标准规范
haosbro 3个月前下载了：

TS16949七工具
holodeck 3个月前下载了：

GJB 3900A-2006 装备采购合同中质量保证要求的提出
469908533 3个月前下载了：

GB4706.1-1998 家用和类似用途电器的安全通用要求国家标准
justin 4个月前下载了：

filter-vhdl-code.rar为滤波器的完整VHDL程序
justin 4个月前下载了：

复阻抗负载滤波器综合及多工器设计应用

您现在的位置是：团子下载站 > 其他 > Linux驱动程序缺陷检测研究

Linux驱动程序缺陷检测研究

资 源 简 介

相 关 资 源

您 可 能 感 兴 趣 的

同 类 别 推 荐

资源简介

相关资源

您可能感兴趣的

同类别推荐