klee

Install command:
brew install klee

Symbolic Execution Engine

https://klee-se.org

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.1
head ⚡️ HEAD

Depends on:

gperftools 2.15 Multi-threaded malloc() and performance analysis tools
llvm@14 14.0.6 Next-gen compiler infrastructure
python@3.12 3.12.3 Interpreted, interactive, object-oriented programming language
sqlite 3.45.3 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.2 Cross-platform make

Analytics:

Installs (30 days)
klee 216
Installs on Request (30 days)
klee 216
Build Errors (30 days)
klee 3
Installs (90 days)
klee 542
Installs on Request (90 days)
klee 542
Installs (365 days)
klee 1,355
Installs on Request (365 days)
klee 1,355
Fork me on GitHub