echidna

Install command: 
brew install echidna

Ethereum smart contract fuzzer

https://github.com/crytic/echidna

License: AGPL-3.0-only

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

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

Formula code: echidna.rb on GitHub

Bottle (binary package) installation support provided for:

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

Current versions:

stable ✅ 2.0.5
head ⚡️ HEAD

Depends on:

crytic-compile 0.3.0 Abstraction layer for smart contract build systems
libff 0.2.1 C++ library for Finite Fields and Elliptic Curves
slither-analyzer 0.9.2 Solidity static analysis framework written in Python 3

Depends on when building from source:

autoconf 2.71 Automatic configure script builder
automake 1.16.5 Tool for generating GNU Standards-compliant Makefiles
ghc@9.2 9.2.5 Glorious Glasgow Haskell Compilation System
haskell-stack 2.9.3 Cross-platform program for developing Haskell projects
libtool 2.4.7 Generic library support script

Analytics (macOS):

Installs (30 days)
echidna 125
echidna --HEAD 7
Installs on Request (30 days)
echidna 124
echidna --HEAD 7
Build Errors (30 days)
echidna 3
echidna --HEAD 3
Installs (90 days)
echidna 322
echidna --HEAD 14
Installs on Request (90 days)
echidna 320
echidna --HEAD 14
Installs (365 days)
echidna 435
echidna --HEAD 14
Installs on Request (365 days)
echidna 433
echidna --HEAD 14

Analytics (Linux):

Installs (30 days)
echidna 33
echidna --HEAD 3
Installs on Request (30 days)
echidna 33
echidna --HEAD 3
Build Errors (30 days)
echidna --HEAD 3
Installs (90 days)
echidna 81
echidna --HEAD 6
Installs on Request (90 days)
echidna 81
echidna --HEAD 6
Installs (365 days)
echidna 91
echidna --HEAD 6
Installs on Request (365 days)
echidna 91
echidna --HEAD 6
Fork me on GitHub