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 big sur
catalina
mojave
64-bit linux

Current versions:

stable 2.2
head ⚡️ HEAD

Revision: 3

Depends on:

gperftools 2.9.1 Multi-threaded malloc() and performance analysis tools
llvm@12 12.0.1 Next-gen compiler infrastructure
python-tabulate 0.8.9 Pretty-print tabular data in Python
python@3.9 3.9.12 Interpreted, interactive, object-oriented programming language
sqlite 3.38.5 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.8.17 High-performance theorem prover

Depends on when building from source:

cmake 3.23.1 Cross-platform make

Analytics (macOS):

Installs (30 days)
klee 18
Installs on Request (30 days)
klee 18
Build Errors (30 days)
klee 10
Installs (90 days)
klee 44
Installs on Request (90 days)
klee 44
Installs (365 days)
klee 219
klee --HEAD 1
Installs on Request (365 days)
klee 219
klee --HEAD 1

Analytics (Linux):

Installs (30 days)
klee 20
Installs on Request (30 days)
klee 20
Build Errors (30 days)
klee 18
Installs (90 days)
klee 25
Installs on Request (90 days)
klee 25
Installs (365 days)
klee 102
klee --HEAD 1
Installs on Request (365 days)
klee 102
klee --HEAD 1
Fork me on GitHub