電子發燒友App
創作
發文章
發帖 
提問 
發資料
發視頻資料介紹
精準執行可達性分析探究計算機程序狀態之間的可達性關系，通過分析軟件的文檔、源代碼或二進制程序并進行必要測試驗證。以求出在既定限制下從初始狀態到特定代碼位置的目標狀態的準確觸發輸入和執行路徑．精準執行可達性分析在定向測試、靜態分析結果核驗、錯誤復現和漏洞POC構造等領域均有廣泛應用．本文對近年來國內外學者在該研究領域取得的相關研究成果進行了系統的分析、提煉和總結．首先，指出了精準執行可達性分析對應的約束求解問題，以雙向符號分析和程序歸納為主線介紹了其主要研究方法，討論了相關技術難點．其次，對目前已經存在的精準執行可達性應用進行了分類分析．進而。指出精準執行可達性分析應用中程序分析、歸納和約束求解等方面存在的挑戰．最后。對可能的解決辦法以及未來發展方向進行了展望．
加入交流群
掃碼添加小助手
加入工程師交流群
下載該資料的人也在下載
下載該資料的人還在閱讀
更多 >
- 可制造性分析
- dfm可制造性設計
- dfm可制造性是什么
- dfm可制造性分析軟件
- dfm可制造性設計什么意思
- dfm可制造性分析
- 可減少錯誤數據產生的規則鏈自動組合與檢測方法 8次下載
- 如何使用符號執行的python實現攻擊腳本分析平臺 11次下載
- Exogenous量子馬爾可夫鏈及其可達性分析 0次下載
- 大規模圖數據可達性索引技術研究 0次下載
- 電力系統暫態穩定性的可達性計算 33次下載
- 基于Petri網的安全協議形式化描述和安全性驗證 18次下載
- 基于Petri網的安全協議形式化分析 29次下載
- 執行常規性電氣布線工作
- 15-謎問題(15-puzzle)的可達性判定
- Simcenter FLOEFD for Solid Edge：在Solid Edge中快速精準地執行流體流動和傳熱分析 699次閱讀
- 熱重分析儀：材料熱行為的 “精準偵探” 306次閱讀
- 振動傳感器在風機軸偏心監測中的精準預警與可靠性實踐 331次閱讀
- 熱重分析儀：材料熱行為的精準 “偵探” 225次閱讀
- 【綜述】工作總有規范——測試執行和bug 319次閱讀
- 熱重分析儀：塑料行業的“精準秤”與“火眼金睛” 222次閱讀
- 用于分析可執行程序和內存轉儲的命令行工具介紹 2.1k次閱讀
- 全面升級--ITECH為電池交流阻抗測試提供更精準的電流源功能 779次閱讀
- 執行器由什么組成_執行器的工作原理 1.3w次閱讀
- 可制造性分析技術的作用及特點分析 6.8k次閱讀
- 51單片機執行指令的過程的分析解釋 7.9k次閱讀
- cpu執行指令的過程詳解 10.6w次閱讀
- 詳解bootloader的執行流程與ARM Linux啟動過程分析 1.1w次閱讀
- 精準醫療如何做到精準 2.7k次閱讀
- 淺析點焊的接頭 2.3k次閱讀
上傳資料賺積分下載排行
本周
- 1電子電路原理第七版PDF電子教材免費下載
- 0.00 MB | 1490次下載 | 免費
- 2單片機典型實例介紹
- 18.19 MB | 92次下載 | 1 積分
- 3S7-200PLC編程實例詳細資料
- 1.17 MB | 27次下載 | 1 積分
- 4筆記本電腦主板的元件識別和講解說明
- 4.28 MB | 18次下載 | 4 積分
- 5開關電源原理及各功能電路詳解
- 0.38 MB | 10次下載 | 免費
- 6基于AT89C2051/4051單片機編程器的實驗
- 0.11 MB | 4次下載 | 免費
- 7藍牙設備在嵌入式領域的廣泛應用
- 0.63 MB | 3次下載 | 免費
- 89天練會電子電路識圖
- 5.91 MB | 3次下載 | 免費
本月
- 1OrCAD10.5下載OrCAD10.5中文版軟件
- 0.00 MB | 234313次下載 | 免費
- 2PADS 9.0 2009最新版 -下載
- 0.00 MB | 66304次下載 | 免費
- 3protel99下載protel99軟件下載(中文版)
- 0.00 MB | 51209次下載 | 免費
- 4LabView 8.0 專業版下載 (3CD完整版)
- 0.00 MB | 51043次下載 | 免費
- 5555集成電路應用800例(新編版)
- 0.00 MB | 33562次下載 | 免費
- 6接口電路圖大全
- 未知 | 30320次下載 | 免費
- 7Multisim 10下載Multisim 10 中文版
- 0.00 MB | 28588次下載 | 免費
- 8開關電源設計實例指南
- 未知 | 21539次下載 | 免費
總榜
- 1matlab軟件下載入口
- 未知 | 935053次下載 | 免費
- 2protel99se軟件下載(可英文版轉中文版)
- 78.1 MB | 537791次下載 | 免費
- 3MATLAB 7.1 下載 (含軟件介紹)
- 未知 | 420026次下載 | 免費
- 4OrCAD10.5下載OrCAD10.5中文版軟件
- 0.00 MB | 234313次下載 | 免費
- 5Altium DXP2002下載入口
- 未知 | 233045次下載 | 免費
- 6電路仿真軟件multisim 10.0免費下載
- 340992 | 191183次下載 | 免費
- 7十天學會AVR單片機與C語言視頻教程 下載
- 158M | 183277次下載 | 免費
- 8proe5.0野火版下載(中文版免費下載)
- 未知 | 138039次下載 | 免費
工商網監
評論