npm

echidna

Ethereum smart contract fuzzer for finding bugs and vulnerabilities

brewmacoslinux
Try with needOr install directly
Source

About

Ethereum smart contract fuzzer

Commands

echidna

Examples

Fuzz a smart contract with default settings$ echidna mycontract.sol
Fuzz a contract with specific test function and gas limit$ echidna mycontract.sol --test-limit 100000 --max-gas 5000000
Run fuzzing with custom configuration file$ echidna mycontract.sol --config echidna.yaml