klee
安装命令
brew install klee符号执行引擎
许可： NCSA
公式 JSON API： /api/formula/klee.json
公式代码： klee.rb 在 GitHub
提供瓶装（二进制包）安装支持
| Apple Silicon | sonoma | ✅ |
|---|---|---|
| ventura | ✅ | |
| monterey | ✅ | |
| Intel | sonoma | ✅ |
| ventura | ✅ | |
| monterey | ✅ | |
| 64位linux | ✅ | |
当前版本
| 稳定版 | ✅ | 3.1 |
| 头版本 | ⚡️ | HEAD |
修订版本： 1
依赖项
| gperftools | 2.15 | 多线程 malloc() 和性能分析工具 |
| llvm@14 | 14.0.6 | 新一代编译器基础设施 |
| [email protected] | 3.12.4 | 解释性、交互式、面向对象的编程语言 |
| sqlite | 3.46.0 | SQLite 的命令行界面 |
| stp | 2.3.4 | 简单定理证明器，用于位向量的有效 SMT 求解器 |
| wllvm | 1.3.1 | 构建整个程序 LLVM 位码文件的工具包 |
| z3 | 4.13.0 | 高性能定理证明器 |
当从源代码构建时依赖
| cmake | 3.30.2 | 跨平台构建 |
分析
| 安装（30天） | |
|---|---|
klee |
27 |
| 请求安装（30天） | |
klee |
27 |
| 构建错误（30天） | |
klee |
0 |
| 安装（90天） | |
klee |
121 |
| 请求安装（90天） | |
klee |
121 |
| 安装（365天） | |
klee |
1,327 |
| 请求安装（365天） | |
klee |
1,327 |
