klee

Install command:
brew install klee

Symbolic Execution Engine

https://klee.github.io/

License: NCSA

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

Bottle JSON API: /api/bottle/klee.json

Formula code: klee.rb on GitHub

Bottle (binary package) installation support provided for:

Intel ventura
monterey
big sur
64-bit linux
Apple Silicon ventura
monterey
big sur

Current versions:

stable 2.3
head ⚡️ HEAD

Revision: 4

Depends on:

gperftools 2.10 Multi-threaded malloc() and performance analysis tools
llvm@13 13.0.1 Next-gen compiler infrastructure
python-tabulate 0.9.0 Pretty-print tabular data in Python
python@3.11 3.11.1 Interpreted, interactive, object-oriented programming language
sqlite 3.40.1 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.1 High-performance theorem prover

Depends on when building from source:

cmake 3.25.2 Cross-platform make

Analytics (macOS):

Installs (30 days)
klee 51
Installs on Request (30 days)
klee 50
Build Errors (30 days)
klee 0
Installs (90 days)
klee 165
Installs on Request (90 days)
klee 164
Installs (365 days)
klee 456
Installs on Request (365 days)
klee 455

Analytics (Linux):

Installs (30 days)
klee 9
Installs on Request (30 days)
klee 9
Build Errors (30 days)
klee 0
Installs (90 days)
klee 28
Installs on Request (90 days)
klee 28
Installs (365 days)
klee 82
Installs on Request (365 days)
klee 82
Fork me on GitHub