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:

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.3 Interpreted, interactive, object-oriented programming language
sqlite 3.42.0 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.26.4 Cross-platform make

Analytics:

Installs (30 days)
klee 0
Installs on Request (30 days)
klee 0
Build Errors (30 days)
klee 0

Analytics (macOS):

Installs (90 days)
klee 4
Installs on Request (90 days)
klee 4
Installs (365 days)
klee 422
Installs on Request (365 days)
klee 421

Analytics (Linux):

Installs (90 days)
klee 0
Installs on Request (90 days)
klee 0
Installs (365 days)
klee 78
Installs on Request (365 days)
klee 78
Fork me on GitHub