Harvey: a greybox fuzzer for smart contracts
Valentin Wüstholz, Maria Christakis
Abstract
We present Harvey, an industrial greybox fuzzer for smart contracts, which are programs managing accounts on a blockchain.
Topics & Concepts
Fuzz testingComputer scienceCover (algebra)Database transactionCode (set theory)Key (lock)Code coverageComputer securityProgramming languageSoftwareSet (abstract data type)EngineeringMechanical engineeringAdvanced Malware Detection TechniquesAdversarial Robustness in Machine LearningSoftware Testing and Debugging Techniques