klee

Install command:
brew install klee

Symbolic Execution Engine

https://klee.github.io/

License: NCSA

Formula JSON API: /api/formula/klee.json

Formula code: klee.rb on GitHub

Bottle (binary package) installation support provided for:

Apple Silicon sonoma
ventura
monterey
Intel sonoma
ventura
monterey
64-bit linux

Current versions:

stable 3.0
head ⚡️ HEAD

Revision: 2

Depends on:

gperftools 2.15 Multi-threaded malloc() and performance analysis tools
llvm@14 14.0.6 Next-gen compiler infrastructure
python-tabulate 0.9.0 Pretty-print tabular data in Python
python@3.12 3.12.2 Interpreted, interactive, object-oriented programming language
sqlite 3.45.2 Command-line interface for SQLite
stp 2.3.3 Simple Theorem Prover, an efficient SMT solver for bitvectors
wllvm 1.3.1 Toolkit for building whole-program LLVM bitcode files
z3 4.12.6 High-performance theorem prover

Depends on when building from source:

cmake 3.29.0 Cross-platform make
python-setuptools 69.2.0 Easily download, build, install, upgrade, and uninstall Python packages

Analytics:

Installs (30 days)
klee 181
Installs on Request (30 days)
klee 181
Build Errors (30 days)
klee 5
Installs (90 days)
klee 458
Installs on Request (90 days)
klee 458
Installs (365 days)
klee 1,196
Installs on Request (365 days)
klee 1,196
Fork me on GitHub