资料介绍
软件简介
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次下载
- 西门子软件工具下载 44次下载
- Java工具软件免费下载 5次下载
- 红外摄像头驱动工具ThermoX软件下载 58次下载
- CAN总线调试工具QCOM_V1.6软件下载 157次下载
- Smith圆图工具箱软件下载 23次下载
- 高级射频计算工具箱软件下载 46次下载
- 好用的刷固件工具软件下载 20次下载
- 基于定理证明的内存安全验证工具算法综述 5次下载
- 三菱环境清洁清除工具软件下载 841次下载
- 16位CRC验证码生成VI工具下载 50次下载
- 软件工具Altium Designer免费下载入口 69次下载
- 版图验证方法说明 0次下载
- 超级单片机软件工具 178次下载
- Cam Wizard 7.13 软件工具 0次下载
- 利用先进形式验证工具来高效完成RISC-V处理器验证 300次阅读
- 软件工具:像T1、T2、T3一样简单 711次阅读
- 软件离线工具的新规则是什么? 312次阅读
- 如何挑选合适的电路仿真软件工具 2985次阅读
- 验证和确认的区别和关系 3130次阅读
- 软件仿真、硬件仿真、原型验证是如何工作的? 490次阅读
- IC验证的主要工作流程和验证工具是什么? 1073次阅读
- Vivado开发软件下板验证教程 692次阅读
- 芯片开发中形式化验证的是一个误区 1559次阅读
- 用于解码器IP设计和合规性验证的比特流和软件工具链DVK 819次阅读
- 形式验证工具对系统功能的设计 1037次阅读
- 验证码层出不穷?试试这个自动跳过验证码的工具 5588次阅读
- 浅析射频/微波CAE软件工具与设计匹配 551次阅读
- 软件验证的必要和使用测试工具的好处 5994次阅读
- 常用的软件测试工具有哪些_10款常用的软件测试工具推荐 7.4w次阅读
下载排行
本周
- 1储能电源市场分析
- 7.99 MB | 7次下载 | 免费
- 2储能电源市场分析报告
- 2.61 MB | 6次下载 | 免费
- 3磁环电感定制时应该注意什么
- 0.32 MB | 2次下载 | 免费
- 4具有DCS-Control™ 功能的 3V 到 17V 0.5A 降压转换器TPS6217x-Q1数据表
- 3.17MB | 1次下载 | 免费
- 5labview文档教程资料(一)
- 24.29 MB | 1次下载 | 免费
- 6集成电流镜的 TPS61391 85VOUT 升压转换器数据表
- 1.54MB | 次下载 | 免费
- 7NCV7755 简单评估板数据手册
- 1.43 MB | 次下载 | 免费
- 8低纹波开关电容降压调节器LM2772数据表
- 2.08MB | 次下载 | 免费
本月
- 1ES9038PRO解码芯片的电路原理图介绍
- 0.25 MB | 35次下载 | 5 积分
- 2UHD智能显示SoC VS680产品简介
- 0.46 MB | 11次下载 | 免费
- 3STM32国内外发展现状
- 1.15 MB | 11次下载 | 免费
- 4ATmega8芯片中文手册
- 2.45 MB | 8次下载 | 1 积分
- 5TDK电容器产品指南
- 11.88 MB | 7次下载 | 1 积分
- 6储能电源市场分析
- 7.99 MB | 7次下载 | 免费
- 7传感芯片选型指南
- 3.60 MB | 6次下载 | 免费
- 8储能电源市场分析报告
- 2.61 MB | 6次下载 | 免费
总榜
- 1matlab软件下载入口
- 未知 | 935086次下载 | 免费
- 2开源硬件-PMP21529.1-4 开关降压/升压双向直流/直流转换器 PCB layout 设计
- 1.48MB | 420050次下载 | 免费
- 3Altium DXP2002下载入口
- 未知 | 233068次下载 | 免费
- 4电路仿真软件multisim 10.0免费下载
- 340992 | 191316次下载 | 免费
- 5十天学会AVR单片机与C语言视频教程 下载
- 158M | 183316次下载 | 免费
- 6labview8.5下载
- 未知 | 81567次下载 | 免费
- 7Keil工具MDK-Arm免费下载
- 0.02 MB | 73786次下载 | 免费
- 8NI LabVIEW中实现3D视觉的工具和技术
- 未知 | 70088次下载 | 免费
评论
查看更多