电子发烧友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次下载
- abg欧博DFM-PCB工程师专用分析软件智能工具 0次下载
- abg欧博DFM-PCB工程师专用分析软件智能工具 0次下载
- abg欧博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次阅读
上传资料赚积分下载排行
本周
- 1DD3118电路图纸资料
- 0.08 MB | 1次下载 | 免费
- 2AD库封装库安装教程
- 0.49 MB | 1次下载 | 免费
- 3PC6206 300mA低功耗低压差线性稳压器中文资料
- 1.12 MB | 1次下载 | 免费
- 4网络安全从业者入门指南
- 2.91 MB | 1次下载 | 免费
- 5DS-CS3A P00-CN-V3
- 618.05 KB | 1次下载 | 免费
- 6海川SM5701规格书
- 1.48 MB | 次下载 | 免费
- 7H20PR5电磁炉IGBT功率管规格书
- 1.68 MB | 次下载 | 1 积分
- 8IP防护等级说明
- 0.08 MB | 次下载 | 免费
本月
- 1贴片三极管上的印字与真实名称的对照表详细说明
- 0.50 MB | 103次下载 | 1 积分
- 2涂鸦各WiFi模块原理图加PCB封装
- 11.75 MB | 89次下载 | 1 积分
- 3锦锐科技CA51F2 SDK开发包
- 24.06 MB | 43次下载 | 1 积分
- 4锦锐CA51F005 SDK开发包
- 19.47 MB | 19次下载 | 1 积分
- 5PCB的EMC设计指南
- 2.47 MB | 16次下载 | 1 积分
- 6HC05蓝牙原理图加PCB
- 15.76 MB | 13次下载 | 1 积分
- 7802.11_Wireless_Networks
- 4.17 MB | 12次下载 | 免费
- 8苹果iphone 11电路原理图
- 4.98 MB | 6次下载 | 2 积分
总榜
- 1matlab软件下载入口
- 未知 | 935127次下载 | 10 积分
- 2开源硬件-PMP21529.1-4 开关降压/升压双向直流/直流转换器 PCB layout 设计
- 1.48MB | 420064次下载 | 10 积分
- 3Altium DXP2002下载入口
- 未知 | 233089次下载 | 10 积分
- 4电路仿真软件multisim 10.0免费下载
- 340992 | 191390次下载 | 10 积分
- 5十天学会AVR单片机与C语言视频教程 下载
- 158M | 183342次下载 | 10 积分
- 6labview8.5下载
- 未知 | 81588次下载 | 10 积分
- 7Keil工具MDK-Arm免费下载
- 0.02 MB | 73815次下载 | 10 积分
- 8LabVIEW 8.6下载
- 未知 | 65989次下载 | 10 积分
工商网监
评论