开发工具:
文件大小: 13mb
下载次数: 0
上传时间: 2021-02-12
详细说明：关于
CBMC是用于C和C ++程序的绑定模型检查器。 它支持C89，C99，大多数C11和gcc和Visual Studio提供的大多数编译器扩展。 它还使用Scoot支持SystemC。 它允许验证数组边界（缓冲区溢出），指针安全性，异常和用户指定的断言。 此外，它可以检查C和C ++与其他语言（例如Verilog）的一致性。 通过展开程序中的循环并将结果方程式传递到决策程序来执行验证。
有关完整信息，请访问 。
有关CProver包含的各种工具以及如何使用它们的概述，请参见 。
版本号
获取
版本已经过测试，可用于生产。
获取当前的开发版本： git clone https://github.com/diffblue/cbmc.git
不建议将开发版本用于生产。
正在安装
视窗
对于Windows，您可以通过页面上的.msi安装cbmc二进制文件。
请注意，我们依赖于Vis
(系统自动生成,下载前可以参看下载内容)
下载文件列表
相关说明
- 本站资源为会员上传分享交流与学习,如有侵犯您的权益,请联系我们删除.
- 本站是交换下载平台，提供交流渠道，下载内容来自于网络，除下载问题外，其它问题请自行百度。
- 本站已设置防盗链，请勿用迅雷、QQ旋风等多线程下载软件下载资源，下载后用WinRAR最新版进行解压.
- 如果您发现内容无法下载，请稍后再次尝试；或者到消费记录里找到下载记录反馈给我们.
- 下载后发现下载的内容跟说明不相乎，请到消费记录里找到下载记录反馈给我们，经确认后退回积分.
- 如下载前有疑问，可以通过点击"提供者"的名字，查看对方的联系方式，联系对方咨询.
