Echidna 2.2.0

[arcz]

Echidna 2.2.0 contains significant improvements to the fuzzing speed and UX:

• Multicore fuzzing & optimized coverage collection. Those combined delivered up to 20x fuzzing speed improvement on a real-world internal benchmark. The number of workers can be configured with workers config option or --workers CLI switch. Echidna runs only one worker by default, but this might change in future releases.
• Lcov support. It is output by default and can be controlled with the coverageFormats config option. This enables external coverage tools such as genhtml or VSCode plugins.
• More configuration options. Added --timeout <seconds> CLI switch. RPC URL and block number can now be also specified in the config file for on-chain fuzzing.
• UI improvements. Echidna now outputs an event log for any fuzzing breakthrough, such as new coverage. The interactive UI was significantly reworked to accommodate all the changes from this release (see the screenshot below).

Note, we changed the way reverts are shown in coverage reports. Now, only the line where a revert happened is marked, instead of the whole path.

The full changelog:

Added

• Multicore fuzzing (Multicore #963, Enable all cores (-N) for echidna executable #1033, Decouple corpus replay from callseq #1026, Fix replayCorpus function #1035)
• Lcov format support (Add .lcov coverage reports; add coverageFormats config option #1029)
• Experimental power number generator for uints (Experimental power number generator for uints #892)

Changed

• Coverage collection optimization (Optimize coverage collection #1003, Fix pc out-of-bounds coverage access #1041)
• On-chain fuzzing improvements (RPC improvements (chain id, config options) #1017)
• Refactored code (Code cleanup #1020, Project-wide cleanup #1021)
• Updated dependencies (Bump dependencies #1022, hevm 0.50.5 #1023)
• UI improvements (Fix right side of UI stats #1031, UI improvements #1032, UI: move test count to header #1034, Restore showing the optimized value in format output #1040)
• Readme improvements (Readme - update nix instructions, small fixes #1019)

---

This discussion was created from the release Echidna 2.2.0.

[rayeaster]

@arcz Hello ser, is there a precompiled windows file for this version? Maybe this one https://github.com/crytic/echidna/actions/runs/5039460033 ?

[arcz]

I've just added the Windows binary :)