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