電子發(fā)燒友App
創(chuàng)作
發(fā)文章
發(fā)帖 
提問 
發(fā)資料
發(fā)視頻資料介紹
精準(zhǔn)執(zhí)行可達(dá)性分析探究計(jì)算機(jī)程序狀態(tài)之間的可達(dá)性關(guān)系，通過分析軟件的文檔、源代碼或二進(jìn)制程序并進(jìn)行必要測試驗(yàn)證。以求出在既定限制下從初始狀態(tài)到特定代碼位置的目標(biāo)狀態(tài)的準(zhǔn)確觸發(fā)輸入和執(zhí)行路徑．精準(zhǔn)執(zhí)行可達(dá)性分析在定向測試、靜態(tài)分析結(jié)果核驗(yàn)、錯誤復(fù)現(xiàn)和漏洞POC構(gòu)造等領(lǐng)域均有廣泛應(yīng)用．本文對近年來國內(nèi)外學(xué)者在該研究領(lǐng)域取得的相關(guān)研究成果進(jìn)行了系統(tǒng)的分析、提煉和總結(jié)．首先，指出了精準(zhǔn)執(zhí)行可達(dá)性分析對應(yīng)的約束求解問題，以雙向符號分析和程序歸納為主線介紹了其主要研究方法，討論了相關(guān)技術(shù)難點(diǎn)．其次，對目前已經(jīng)存在的精準(zhǔn)執(zhí)行可達(dá)性應(yīng)用進(jìn)行了分類分析．進(jìn)而。指出精準(zhǔn)執(zhí)行可達(dá)性分析應(yīng)用中程序分析、歸納和約束求解等方面存在的挑戰(zhàn)．最后。對可能的解決辦法以及未來發(fā)展方向進(jìn)行了展望．
下載該資料的人也在下載
下載該資料的人還在閱讀
更多 >
- 短路分析
- 可制造性分析
- dfm可制造性設(shè)計(jì)
- dfm可制造性是什么
- dfm可制造性分析軟件
- dfm可制造性設(shè)計(jì)什么意思
- dfm可制造性分析
- 可減少錯誤數(shù)據(jù)產(chǎn)生的規(guī)則鏈自動組合與檢測方法 8次下載
- 如何使用符號執(zhí)行的python實(shí)現(xiàn)攻擊腳本分析平臺 11次下載
- Exogenous量子馬爾可夫鏈及其可達(dá)性分析 0次下載
- 大規(guī)模圖數(shù)據(jù)可達(dá)性索引技術(shù)研究 0次下載
- 電力系統(tǒng)暫態(tài)穩(wěn)定性的可達(dá)性計(jì)算 33次下載
- 基于Petri網(wǎng)的安全協(xié)議形式化描述和安全性驗(yàn)證 18次下載
- 基于Petri網(wǎng)的安全協(xié)議形式化分析 29次下載
- 15-謎問題(15-puzzle)的可達(dá)性判定
- 用于分析可執(zhí)行程序和內(nèi)存轉(zhuǎn)儲的命令行工具介紹 997次閱讀
- 全面升級--ITECH為電池交流阻抗測試提供更精準(zhǔn)的電流源功能 325次閱讀
- 電源完整性仿真與EMC分析 824次閱讀
- 氣動執(zhí)行器的組成_氣動執(zhí)行器選型 3884次閱讀
- 執(zhí)行器故障原因及檢修 9481次閱讀
- 執(zhí)行器由什么組成_執(zhí)行器的工作原理 1.1w次閱讀
- 可制造性分析技術(shù)的作用及特點(diǎn)分析 6022次閱讀
- 解讀FMEA分析的重要性 1w次閱讀
- 單片機(jī)是如何執(zhí)行指令過程？MCU內(nèi)存又是如何分配的？ 5068次閱讀
- 51單片機(jī)執(zhí)行指令的過程的分析解釋 7260次閱讀
- cpu執(zhí)行指令的過程詳解 10.2w次閱讀
- 詳解bootloader的執(zhí)行流程與ARM Linux啟動過程分析 1w次閱讀
- 精準(zhǔn)醫(yī)療如何做到精準(zhǔn) 2189次閱讀
- mfc程序執(zhí)行流程小結(jié),MFC程序的執(zhí)行順序 9403次閱讀
- 淺析點(diǎn)焊的接頭 1725次閱讀
上傳資料賺積分下載排行
本周
- 1電子電路原理第七版PDF電子教材免費(fèi)下載
- 0.00 MB | 1490次下載 | 免費(fèi)
- 2單片機(jī)典型實(shí)例介紹
- 18.19 MB | 92次下載 | 1 積分
- 3S7-200PLC編程實(shí)例詳細(xì)資料
- 1.17 MB | 27次下載 | 1 積分
- 4筆記本電腦主板的元件識別和講解說明
- 4.28 MB | 18次下載 | 4 積分
- 5開關(guān)電源原理及各功能電路詳解
- 0.38 MB | 10次下載 | 免費(fèi)
- 6基于AT89C2051/4051單片機(jī)編程器的實(shí)驗(yàn)
- 0.11 MB | 4次下載 | 免費(fèi)
- 7藍(lán)牙設(shè)備在嵌入式領(lǐng)域的廣泛應(yīng)用
- 0.63 MB | 3次下載 | 免費(fèi)
- 89天練會電子電路識圖
- 5.91 MB | 3次下載 | 免費(fèi)
本月
- 1OrCAD10.5下載OrCAD10.5中文版軟件
- 0.00 MB | 234313次下載 | 免費(fèi)
- 2PADS 9.0 2009最新版 -下載
- 0.00 MB | 66304次下載 | 免費(fèi)
- 3protel99下載protel99軟件下載(中文版)
- 0.00 MB | 51209次下載 | 免費(fèi)
- 4LabView 8.0 專業(yè)版下載 (3CD完整版)
- 0.00 MB | 51043次下載 | 免費(fèi)
- 5555集成電路應(yīng)用800例(新編版)
- 0.00 MB | 33562次下載 | 免費(fèi)
- 6接口電路圖大全
- 未知 | 30320次下載 | 免費(fèi)
- 7Multisim 10下載Multisim 10 中文版
- 0.00 MB | 28588次下載 | 免費(fèi)
- 8開關(guān)電源設(shè)計(jì)實(shí)例指南
- 未知 | 21539次下載 | 免費(fèi)
總榜
- 1matlab軟件下載入口
- 未知 | 935053次下載 | 免費(fèi)
- 2protel99se軟件下載(可英文版轉(zhuǎn)中文版)
- 78.1 MB | 537791次下載 | 免費(fèi)
- 3MATLAB 7.1 下載 (含軟件介紹)
- 未知 | 420026次下載 | 免費(fèi)
- 4OrCAD10.5下載OrCAD10.5中文版軟件
- 0.00 MB | 234313次下載 | 免費(fèi)
- 5Altium DXP2002下載入口
- 未知 | 233045次下載 | 免費(fèi)
- 6電路仿真軟件multisim 10.0免費(fèi)下載
- 340992 | 191183次下載 | 免費(fèi)
- 7十天學(xué)會AVR單片機(jī)與C語言視頻教程 下載
- 158M | 183277次下載 | 免費(fèi)
- 8proe5.0野火版下載(中文版免費(fèi)下載)
- 未知 | 138039次下載 | 免費(fèi)
工商網(wǎng)監(jiān)
評論