Install command:
brew install klee

Symbolic Execution Engine


License: NCSA

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

Formula code: klee.rb on GitHub

Bottle (binary package) installation support provided for:

Apple Silicon ventura
Intel ventura
64-bit linux

Current versions:

stable 3.0
head ⚡️ HEAD

Revision: 1

Depends on:

gperftools 2.13 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.0 Interpreted, interactive, object-oriented programming language
sqlite 3.44.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.2 High-performance theorem prover

Depends on when building from source:

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


Installs (30 days)
klee 172
Installs on Request (30 days)
klee 172
Build Errors (30 days)
klee 1
Installs (90 days)
klee 341
Installs on Request (90 days)
klee 341
Installs (365 days)
klee 690
Installs on Request (365 days)
klee 690
Fork me on GitHub