電子發燒友App
創作
發文章
發帖 
提問 
發資料
發視頻資料介紹
軟件簡介
SMACK即是一個模塊化的軟件驗證工具鏈，又是一個獨立的軟件驗證工具。它可以被用于驗證輸入程序里的斷言。默認模式下SMACK對斷言的驗證是有對循環/遞歸的上限。同時，SMACK實現了對無上限的驗證的初步支持。SMACK可以處理復雜的C語言特性，如動態內存分配，指針操作，和位運算。
本質上SMACK是一個從LLVM中間語言(IR)到Boogie中間語言的翻譯器。使用LLVM IR使得SMACK可以利用大量的支持LLVM IR的編譯器，對LLVM IR的優化和分析。目前，SMACK通過Clang編譯器實現對C語言的支持。同時，我們也在開發對其他語言的支持。使用Boogie使得SMACK可以利用一個通用的驗證平臺，該平臺簡化了對驗證方法的實現。目前，SMACK支持Boogie和Corral兩個后端驗證工具。
SMACK已經用于百度開源項目SGXRay。
對SMACK的安裝請參照該文檔
對SMACK的使用請參照該文檔
對SMACK的使用問題請聯系何少博(shaobohe@baidu.com)
下載該資料的人也在下載
下載該資料的人還在閱讀
更多 >
- 基于Json格式的文本視圖驗證工具 8次下載
- 西門子軟件工具下載 47次下載
- Java工具軟件免費下載 5次下載
- 紅外攝像頭驅動工具ThermoX軟件下載 75次下載
- 華秋DFM-PCB工程師專用分析軟件智能工具 0次下載
- 華秋DFM-PCB工程師專用分析軟件智能工具 0次下載
- 華秋PCB設計分析軟件-BOM自動分析智能工具 0次下載
- 好用的刷固件工具軟件下載 23次下載
- 基于定理證明的內存安全驗證工具算法綜述 5次下載
- 基于區塊鏈并行的以太坊數據快速導出工具 7次下載
- 三菱環境清潔清除工具軟件下載 1373次下載
- 16位CRC驗證碼生成VI工具下載 55次下載
- 軟件工具Altium Designer免費下載入口 83次下載
- 版圖驗證方法說明 0次下載
- Cam Wizard 7.13 軟件工具 0次下載
- FPGA仿真工具包軟件EasyGo Vs Addon介紹 461次閱讀
- 利用先進形式驗證工具來高效完成RISC-V處理器驗證 579次閱讀
- 軟件離線工具的新規則是什么？ 635次閱讀
- 如何挑選合適的電路仿真軟件工具 3907次閱讀
- 軟件仿真、硬件仿真、原型驗證是如何工作的？ 1020次閱讀
- IC驗證的主要工作流程和驗證工具是什么？ 1732次閱讀
- 用于解碼器IP設計和合規性驗證的比特流和軟件工具鏈DVK 1395次閱讀
- 形式驗證工具對系統功能的設計 1526次閱讀
- ETAS RTA-CAR工具鏈操作指南 8058次閱讀
- 驗證碼層出不窮？試試這個自動跳過驗證碼的工具 6018次閱讀
- 如何驗證對方鏈上發生的交易的合法性 1671次閱讀
- 如何驗證區塊鏈開發程序和驗證程序的正確性 4188次閱讀
- 淺析射頻/微波CAE軟件工具與設計匹配 713次閱讀
- 軟件驗證的必要和使用測試工具的好處 6464次閱讀
- 常用的軟件測試工具有哪些_10款常用的軟件測試工具推薦 7.5w次閱讀
上傳資料賺積分下載排行
本周
- 1山景DSP芯片AP8248A2數據手冊
- 1.06 MB | 532次下載 | 免費
- 2RK3399完整板原理圖（支持平板，盒子VR）
- 3.28 MB | 339次下載 | 免費
- 3TC358743XBG評估板參考手冊
- 1.36 MB | 330次下載 | 免費
- 4DFM軟件使用教程
- 0.84 MB | 295次下載 | 免費
- 5元宇宙深度解析—未來的未來-風口還是泡沫
- 6.40 MB | 227次下載 | 免費
- 6迪文DGUS開發指南
- 31.67 MB | 194次下載 | 免費
- 7元宇宙底層硬件系列報告
- 13.42 MB | 182次下載 | 免費
- 8FP5207XR-G1中文應用手冊
- 1.09 MB | 178次下載 | 免費
本月
- 1OrCAD10.5下載OrCAD10.5中文版軟件
- 0.00 MB | 234315次下載 | 免費
- 2555集成電路應用800例(新編版)
- 0.00 MB | 33566次下載 | 免費
- 3接口電路圖大全
- 未知 | 30323次下載 | 免費
- 4開關電源設計實例指南
- 未知 | 21549次下載 | 免費
- 5電氣工程師手冊免費下載(新編第二版pdf電子書)
- 0.00 MB | 15349次下載 | 免費
- 6數字電路基礎pdf(下載)
- 未知 | 13750次下載 | 免費
- 7電子制作實例集錦 下載
- 未知 | 8113次下載 | 免費
- 8《LED驅動電路設計》 溫德爾著
- 0.00 MB | 6656次下載 | 免費
總榜
- 1matlab軟件下載入口
- 未知 | 935054次下載 | 免費
- 2protel99se軟件下載(可英文版轉中文版)
- 78.1 MB | 537798次下載 | 免費
- 3MATLAB 7.1 下載 (含軟件介紹)
- 未知 | 420027次下載 | 免費
- 4OrCAD10.5下載OrCAD10.5中文版軟件
- 0.00 MB | 234315次下載 | 免費
- 5Altium DXP2002下載入口
- 未知 | 233046次下載 | 免費
- 6電路仿真軟件multisim 10.0免費下載
- 340992 | 191187次下載 | 免費
- 7十天學會AVR單片機與C語言視頻教程 下載
- 158M | 183279次下載 | 免費
- 8proe5.0野火版下載(中文版免費下載)
- 未知 | 138040次下載 | 免費
工商網監
評論