github crytic/medusa v1.0.0

latest releases: v1.5.0, v1.4.1, v1.4.0...
12 months ago

This is medusa's first major release. It includes many powerful features and important bug fixes. The biggest update is the introduction of on-chain fuzzing! medusa can now run starting with an existing state provided by an external RPC service (Infura, Alchemy, local node, etc). This enables users to speed up the fuzzing setup when using already deployed contracts. Please note that the on-chain fuzzing capability is in "experimental mode" and will continue to improve over the next few releases.

Additional features include integration with Slither for improved value generation, capturing transaction return values for improved value generation, efficient shrinking during optimization mode, and support for the label cheatcode.

What's Changed

Bug Fixes

  • Fix warp to allow for the setting of a starting timestamp by @anishnaik in #499
  • Fix duplication bug in program counter coverage by @0xalpharush in #485
  • Fix execution tracing during failed contract deployments by @anishnaik in #538
  • Fix weighting of corpus items to use timestamp to favor 'hardest-to-discover' inputs by @0xalpharush in #383
  • Improve error logging for arithmetic overflows and underflows by @hexshire in #536
  • Fix error handling during corpus initialization by @MukulKolpe in #537

New Contributors

Full Changelog: v0.1.8...v1.0.0

Don't miss a new medusa release

NewReleases is sending notifications on new releases.