电子发烧友App
创作
发文章
发帖 
提问 
发资料
发视频资料介绍
研究表明，驱动程序的漏洞是造成Linux系统安全问题的主要原因之一，可引发提权、拒绝服务等高危情况。针对无具体设备的情况下，无法对驱动程序进行运行时漏洞检测的问题，提出了对驱动程序进行符号化执行的思路，提出了一种基于符号执行技术实现的驱动程序模拟环境，可以用于分析和检测Linux设备驱动程序中存在的安全漏洞。该环境通过模拟内核提供给驱动程序的服务接口，使驱动程序可以在应用层进行符号执行进而可对其进行漏洞检测。同时，该环境无需真实硬件的支持，并且具备覆盖率高、执行速度快、易于扩展等特点。通过将该环境作用于6个不同的Linux设备驱动，检测出了6个真实的漏洞，其中三个漏洞已向驱动维护者提交补丁并被接受。实验结果表明，符号化驱动环境具备一定的漏洞检测能力，并且拥有资源消耗低、检测速度快和不依赖于硬件设备的特点。
驱动程序
加入交流群
扫码添加小助手
加入工程师交流群
下载该资料的人也在下载
下载该资料的人还在阅读
更多 >
- 乐化液晶驱动程序下载 7次下载
- STM32的ADC驱动程序
- USB驱动程序
- 结合混合符号执行的导向式灰盒模糊测试方法 14次下载
- Linux平台下面向的fastbin攻击自动检测方法 6次下载
- 如何使用符号执行的python实现攻击脚本分析平台 11次下载
- 结合静态分析与动态符号执行的软件漏洞检测方法 6次下载
- Linux驱动程序缺陷检测研究 9次下载
- 基于Linux下的LCD驱动程序实现 12次下载
- 基于WinCE环境的CAN适配卡驱动程序的设计与实现 3次下载
- 嵌入式Linux网络驱动程序的开发及实现原理
- NDIS驱动程序研究和基于NDIS网络监测程序实现
- uClinux 下CAN 通信卡驱动程序的实现
- acer aspire 5570驱动程序下载
- WINCE驱动程序开发指南
- 怎么编写Framebuffer驱动程序 2.4k次阅读
- 了解和使用无操作系统和平台驱动程序 2.1k次阅读
- NDIS小端口驱动程序实现的关键技术和应用研究 3.2k次阅读
- 基于V4L技术和摄像头的Linux驱动程序的设计与实现 3.7k次阅读
- DS18B20的C语言驱动程序 6.3k次阅读
- 如何写一个Linux设备驱动程序 5.5k次阅读
- 米尔科技LINUX设备驱动程序教程 2.7k次阅读
- 浅谈电脑驱动程序的工作原理 详解电脑驱动程序意义 3.2w次阅读
- 可动态安装的Linux设备驱动程序 1.2k次阅读
- 8255A驱动程序 3.9k次阅读
- 8155驱动程序 3.8k次阅读
- 深入了解USB驱动之总线驱动程序 9.5k次阅读
- 温湿度传感器DHT11驱动程序 5.4w次阅读
- Xilinx设备的驱动程序 8.7k次阅读
- PCI驱动程序开发实例 7.3k次阅读
上传资料赚积分下载排行
本周
- 1MDD品牌三极管MMBT3906数据手册
- 2.33 MB | 次下载 | 免费
- 2MDD品牌三极管S9012数据手册
- 2.62 MB | 次下载 | 免费
- 3联想flex2-14D/15D说明书
- 4.92 MB | 次下载 | 免费
- 4收音环绕扩音机 AVR-1507手册
- 2.50 MB | 次下载 | 免费
- 524Pin Type-C连接器设计报告
- 1.06 MB | 次下载 | 免费
- 6新一代网络可视化（NPB 2.0）
- 3.40 MB | 次下载 | 免费
- 7MS1000TA 超声波测量模拟前端芯片技术手册
- 0.60 MB | 次下载 | 免费
- 8MS1022高精度时间测量(TDC)电路数据手册
- 1.81 MB | 次下载 | 免费
本月
- 1爱华AIWA HS-J202维修手册
- 3.34 MB | 37次下载 | 免费
- 2PC5502负载均流控制电路数据手册
- 1.63 MB | 23次下载 | 免费
- 3NB-IoT芯片厂商的资料说明
- 0.31 MB | 22次下载 | 1 积分
- 4H110主板CPU PWM芯片ISL95858HRZ-T核心供电电路图资料
- 0.63 MB | 6次下载 | 1 积分
- 5UWB653Pro USB口测距通信定位模块规格书
- 838.47 KB | 5次下载 | 免费
- 6技嘉H110主板IT8628E_BX IO电路图资料
- 2.61 MB | 4次下载 | 1 积分
- 7苏泊尔DCL6907(即CHK-S007)单芯片电磁炉原理图资料
- 0.04 MB | 4次下载 | 1 积分
- 8100W准谐振反激式恒流电源电路图资料
- 0.09 MB | 2次下载 | 1 积分
总榜
- 1matlab软件下载入口
- 未知 | 935137次下载 | 10 积分
- 2开源硬件-PMP21529.1-4 开关降压/升压双向直流/直流转换器 PCB layout 设计
- 1.48MB | 420064次下载 | 10 积分
- 3Altium DXP2002下载入口
- 未知 | 233089次下载 | 10 积分
- 4电路仿真软件multisim 10.0免费下载
- 340992 | 191439次下载 | 10 积分
- 5十天学会AVR单片机与C语言视频教程 下载
- 158M | 183353次下载 | 10 积分
- 6labview8.5下载
- 未知 | 81602次下载 | 10 积分
- 7Keil工具MDK-Arm免费下载
- 0.02 MB | 73822次下载 | 10 积分
- 8LabVIEW 8.6下载
- 未知 | 65991次下载 | 10 积分
工商网监
评论