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 monterey
big sur
catalina
64-bit linux
Apple Silicon monterey
big sur

Current versions:

stable 2.3
head ⚡️ HEAD

Depends on:

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

Depends on when building from source:

cmake 3.24.2 Cross-platform make

Analytics (macOS):

Installs (30 days)
klee 35
Installs on Request (30 days)
klee 35
Build Errors (30 days)
klee 2
Installs (90 days)
klee 107
Installs on Request (90 days)
klee 107
Installs (365 days)
klee 299
klee --HEAD 1
Installs on Request (365 days)
klee 299
klee --HEAD 1

Analytics (Linux):

Installs (30 days)
klee 2
Installs on Request (30 days)
klee 2
Build Errors (30 days)
klee 0
Installs (90 days)
klee 14
Installs on Request (90 days)
klee 14
Installs (365 days)
klee 61
Installs on Request (365 days)
klee 61
Fork me on GitHub