电子发烧友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次下载
- 西门子软件工具下载 46次下载
- Java工具软件免费下载 5次下载
- 红外摄像头驱动工具ThermoX软件下载 65次下载
- 华秋DFM-PCB工程师专用分析软件智能工具 0次下载
- 华秋DFM-PCB工程师专用分析软件智能工具 0次下载
- 华秋PCB设计分析软件-BOM自动分析智能工具 0次下载
- 好用的刷固件工具软件下载 23次下载
- 基于定理证明的内存安全验证工具算法综述 5次下载
- 基于区块链并行的以太坊数据快速导出工具 7次下载
- 三菱环境清洁清除工具软件下载 1234次下载
- 16位CRC验证码生成VI工具下载 54次下载
- 软件工具Altium Designer免费下载入口 82次下载
- 版图验证方法说明 0次下载
- Cam Wizard 7.13 软件工具 0次下载
- 利用先进形式验证工具来高效完成RISC-V处理器验证 448次阅读
- 软件离线工具的新规则是什么？ 514次阅读
- 如何挑选合适的电路仿真软件工具 3601次阅读
- 软件仿真、硬件仿真、原型验证是如何工作的？ 778次阅读
- IC验证的主要工作流程和验证工具是什么？ 1462次阅读
- 用于解码器IP设计和合规性验证的比特流和软件工具链DVK 1197次阅读
- 形式验证工具对系统功能的设计 1317次阅读
- ETAS RTA-CAR工具链操作指南 7191次阅读
- 验证码层出不穷？试试这个自动跳过验证码的工具 5805次阅读
- 如何验证对方链上发生的交易的合法性 1576次阅读
- 如何验证区块链开发程序和验证程序的正确性 4112次阅读
- 浅析射频/微波CAE软件工具与设计匹配 634次阅读
- 软件验证的必要和使用测试工具的好处 6225次阅读
- Xilinx交叉编译链的安装步骤和验证 3113次阅读
- 常用的软件测试工具有哪些_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次下载 | 免费
工商网监
评论