電子發(fā)燒友App
創(chuàng)作
發(fā)文章
發(fā)帖 
提問 
發(fā)資料
發(fā)視頻資料介紹
驅(qū)動(dòng)程序是操作系統(tǒng)的重要組成部分。驅(qū)動(dòng)程序運(yùn)行于內(nèi)核態(tài)，其可靠性對(duì)于操作系統(tǒng)的安全可靠非常關(guān)鍵。針對(duì)Linux驅(qū)動(dòng)程序，研究基于符號(hào)執(zhí)行的驅(qū)動(dòng)程序缺陷自動(dòng)檢測方法。提出了基于性質(zhì)制導(dǎo)符號(hào)執(zhí)行的Linux驅(qū)動(dòng)程序缺陷檢測框架，以及多性質(zhì)制導(dǎo)的符號(hào)執(zhí)行方法，支持針對(duì)多個(gè)缺陷性質(zhì)的快速缺陷檢測。在LLVM和KLEE的基礎(chǔ)上實(shí)現(xiàn)了提出的框架和方法，并在實(shí)際的Linux驅(qū)動(dòng)程序上開展了初步實(shí)驗(yàn)。實(shí)驗(yàn)效果表明了所提方法和檢測框架的有效性和高效性。
下載該資料的人也在下載
下載該資料的人還在閱讀
更多 >
- Linux驅(qū)動(dòng)程序下載
- LTC3676 Linux驅(qū)動(dòng)程序
- 如何使用Linux內(nèi)核實(shí)現(xiàn)USB驅(qū)動(dòng)程序框架 20次下載
- Linux的LEDS GPIO驅(qū)動(dòng)程序免費(fèi)下載 3次下載
- 嵌入式Linux設(shè)備驅(qū)動(dòng)程序開發(fā)基礎(chǔ)知識(shí)總結(jié)免費(fèi)下載 13次下載
- 基于符號(hào)執(zhí)行技術(shù)實(shí)現(xiàn)的驅(qū)動(dòng)程序的漏洞檢測 0次下載
- Linux系統(tǒng)網(wǎng)絡(luò)驅(qū)動(dòng)程序的編寫 0次下載
- 基于Linux下的LCD驅(qū)動(dòng)程序實(shí)現(xiàn) 12次下載
- 第9章 Linux驅(qū)動(dòng)程序設(shè)計(jì) 3次下載
- Linux設(shè)備驅(qū)動(dòng)程序的編寫 108次下載
- 嵌入式Linux網(wǎng)絡(luò)驅(qū)動(dòng)程序的開發(fā)及實(shí)現(xiàn)原理
- 基于Linux操作系統(tǒng)的設(shè)備驅(qū)動(dòng)程序開發(fā)
- Linux的設(shè)備驅(qū)動(dòng)程序開發(fā)
- 步進(jìn)電機(jī)的Linux驅(qū)動(dòng)程序
- linux設(shè)備驅(qū)動(dòng)程序pdf(第三版) 0次下載
- 怎么編寫Framebuffer驅(qū)動(dòng)程序 589次閱讀
- 自動(dòng)刪除SDK/Vitis下驅(qū)動(dòng)程序的舊版本的Linux腳本 620次閱讀
- 如何寫一個(gè)Linux設(shè)備驅(qū)動(dòng)程序 4534次閱讀
- 米爾科技LINUX設(shè)備驅(qū)動(dòng)程序教程 2104次閱讀
- 嵌入式Linux內(nèi)核的驅(qū)動(dòng)程序開發(fā)是怎樣的 1523次閱讀
- 淺談電腦驅(qū)動(dòng)程序的工作原理 詳解電腦驅(qū)動(dòng)程序意義 3w次閱讀
- 基于嵌入式Linux內(nèi)核的系統(tǒng)設(shè)備驅(qū)動(dòng)程序開發(fā)設(shè)計(jì) 1209次閱讀
- 基于Linux2.6.30開發(fā)DS18B20的驅(qū)動(dòng)程序的類型和文件操作接口函數(shù)詳解 1499次閱讀
- 可動(dòng)態(tài)安裝的Linux設(shè)備驅(qū)動(dòng)程序 1013次閱讀
- 如何用嵌入式Linux系統(tǒng)編寫鍵盤驅(qū)動(dòng) 1364次閱讀
- 8255A驅(qū)動(dòng)程序 3429次閱讀
- 8155驅(qū)動(dòng)程序 3284次閱讀
- 深入了解USB驅(qū)動(dòng)之總線驅(qū)動(dòng)程序 8877次閱讀
- Xilinx設(shè)備的驅(qū)動(dòng)程序 8200次閱讀
- PCI驅(qū)動(dòng)程序開發(fā)實(shí)例 6831次閱讀
上傳資料賺積分下載排行
本周
- 1DC電源插座圖紙
- 0.67 MB | 2次下載 | 免費(fèi)
- 2AN158 GD32VW553 Wi-Fi開發(fā)指南
- 1.51MB | 2次下載 | 免費(fèi)
- 3AN148 GD32VW553射頻硬件開發(fā)指南
- 2.07MB | 1次下載 | 免費(fèi)
- 4AN111-LTC3219用戶指南
- 84.32KB | 次下載 | 免費(fèi)
- 5AN153-用于電源系統(tǒng)管理的Linduino
- 1.38MB | 次下載 | 免費(fèi)
- 6AN-283: Σ-Δ型ADC和DAC[中文版]
- 677.86KB | 次下載 | 免費(fèi)
- 7SM2018E 支持可控硅調(diào)光線性恒流控制芯片
- 402.24 KB | 次下載 | 免費(fèi)
- 8AN-1308: 電流檢測放大器共模階躍響應(yīng)
- 545.42KB | 次下載 | 免費(fèi)
本月
- 1ADI高性能電源管理解決方案
- 2.43 MB | 450次下載 | 免費(fèi)
- 2免費(fèi)開源CC3D飛控資料（電路圖&PCB源文件、BOM、
- 5.67 MB | 138次下載 | 1 積分
- 3基于STM32單片機(jī)智能手環(huán)心率計(jì)步器體溫顯示設(shè)計(jì)
- 0.10 MB | 130次下載 | 免費(fèi)
- 4使用單片機(jī)實(shí)現(xiàn)七人表決器的程序和仿真資料免費(fèi)下載
- 2.96 MB | 44次下載 | 免費(fèi)
- 53314A函數(shù)發(fā)生器維修手冊
- 16.30 MB | 31次下載 | 免費(fèi)
- 6美的電磁爐維修手冊大全
- 1.56 MB | 24次下載 | 5 積分
- 7如何正確測試電源的紋波
- 0.36 MB | 17次下載 | 免費(fèi)
- 8感應(yīng)筆電路圖
- 0.06 MB | 10次下載 | 免費(fèi)
總榜
- 1matlab軟件下載入口
- 未知 | 935121次下載 | 10 積分
- 2開源硬件-PMP21529.1-4 開關(guān)降壓/升壓雙向直流/直流轉(zhuǎn)換器 PCB layout 設(shè)計(jì)
- 1.48MB | 420062次下載 | 10 積分
- 3Altium DXP2002下載入口
- 未知 | 233088次下載 | 10 積分
- 4電路仿真軟件multisim 10.0免費(fèi)下載
- 340992 | 191367次下載 | 10 積分
- 5十天學(xué)會(huì)AVR單片機(jī)與C語言視頻教程 下載
- 158M | 183335次下載 | 10 積分
- 6labview8.5下載
- 未知 | 81581次下載 | 10 積分
- 7Keil工具M(jìn)DK-Arm免費(fèi)下載
- 0.02 MB | 73810次下載 | 10 積分
- 8LabVIEW 8.6下載
- 未知 | 65988次下載 | 10 積分
工商網(wǎng)監(jiān)
評(píng)論