Echidna 2.2.7

What's Changed

• UI is now more responsive and can be scrolled using the keyboard (arrow keys, PgUp/Down, Tab)
• Text mode now reports gas/s during a fuzzing campaign.
• The docker container and static binaries are now also built for ARM Linux.
• Users can now give a friendly name to a project through the config file and it will show in the UI.
• Bugs squashed when shrinking, generating random integers, collecting contract addresses into the internal dictionary, and counting gas usage.
• Echidna is now built with GHC 9.8.4
• hevm has been upgraded to release/0.55.0
  • This hevm release includes multiple fixes and performance improvements, including a fix for multiple contract deployments under a prank.
  • Full hevm changelog: argotorg/hevm@037ff11...2931f09

Deprecation notice

Important

The following features will be removed from future Echidna releases. This will be the last release supporting:

• Etheno integration, and the initialize configuration option
• Gas estimation (estimateGas configuration option)
• Concolic execution (symExecConcolic configuration option)

New Contributors

• @figtracer made their first contribution in #1357

Full Changelog: v2.2.6...v2.2.7