Harvey

Greybox fuzzer for Ethereum smart contracts from ConsenSys. Combines coverage-guided fuzzing with input prediction for deeper bug discovery.

About

Harvey is a greybox fuzzer for Ethereum smart contracts developed by ConsenSys. It uses a combination of coverage-guided fuzzing and input prediction to efficiently explore contract state spaces. Harvey is designed to find complex vulnerabilities that require specific sequences of transactions, making it particularly effective for DeFi protocol testing.