Harvey

Harvey is the EVM-bytecode fuzzer inside Diligence Fuzzing: it generates and mutates inputs to explore execution paths. Use it through a Foundry fuzz campaign or Scribble property annotations submitted with the Diligence Fuzzing CLI.

About

Diligence Fuzzing's quickstart describes Harvey as the fuzzer for EVM bytecode inside that hosted service: it generates and mutates inputs to explore execution paths. Campaigns start from Foundry fuzz tests or Scribble annotations, using the Diligence Fuzzing CLI.