cbmc
安装命令
brew install cbmcC 约束模型检查器
许可证： BSD-4-Clause
公式 JSON API： /api/formula/cbmc.json
公式代码： cbmc.rb 在 GitHub
提供瓶装（二进制包）安装支持
| 苹果硅 | sonoma | ✅ |
|---|---|---|
| ventura | ✅ | |
| monterey | ✅ | |
| Intel | sonoma | ✅ |
| ventura | ✅ | |
| monterey | ✅ | |
| 64位 linux | ✅ | |
当前版本
| 稳定版 | ✅ | 6.1.1 |
从源代码构建时依赖
| cmake | 3.30.2 | 跨平台构建 |
| maven | 3.9.8 | 基于 Java 的项目管理 |
| openjdk@21 | 21.0.4 | Java 编程语言开发套件 |
| rust | 1.80.0 | 安全、并发、实用的语言 |
分析
| 安装（30天） | |
|---|---|
cbmc |
120 |
cbmc --HEAD |
1 |
| 请求安装（30天） | |
cbmc |
115 |
cbmc --HEAD |
1 |
| 构建错误（30天） | |
cbmc |
0 |
| 安装（90天） | |
cbmc |
331 |
cbmc --HEAD |
1 |
| 请求安装（90天） | |
cbmc |
326 |
cbmc --HEAD |
1 |
| 安装（365天） | |
cbmc |
832 |
cbmc --HEAD |
1 |
| 请求安装（365天） | |
cbmc |
827 |
cbmc --HEAD |
1 |
