echidna · Shippeth

Showing only Echidna. Show everything

Ethereum smart contract fuzzercrytic/echidna on GitHub

Top of this filter

Items with a reason of their own, ranked by urgency, weight and how often the project publishes

EchidnaSecurity & Verificationcrytic/echidna·16 Jul 2024Recommended

Echidna 2.2.4 (opens in a new tab)

Echidna 2.2.4 is an exciting release that brings a host of improvements in fuzzing speed and user experience. This update: Boosts performance through optimized shrinking and multicore fuzzing.Echidna release notes

EchidnaSecurity & Verificationcrytic/echidna·11 Feb 2022

Echidna 2.0.0 (opens in a new tab)

Echidna 2.0.0 is a new major release of our fuzzing tool for smart contracts. All users of Echidna should move to version 2.0.0. We will not provide support for older releases. Major new features.Echidna release notes

EchidnaSecurity & Verificationcrytic/echidna·12 Jul 2021Breaking

Echidna 1.7.2 (opens in a new tab)

Echidna 1.7.2 is a minor release that brings a variety of fixes and small improvements, including improved command-line options and fixes when using hardhat/brownie to test contracts. It relies on hevm 0.46 for the EVM emulation.Echidna release notes

EchidnaSecurity & Verificationcrytic/echidna·7 May 2021Breaking

Echidna 1.7.1 (opens in a new tab)

Echidna 1.7.1 is a minor release that brings a variety of fixes and small improvements, including better mutations, two new command-line options, --corpus-dir and --check-asserts, correct initialization of new addresses and extended notion of coverage to inclu…Echidna release notes

EchidnaSecurity & Verificationcrytic/echidna·26 Feb 2021Breaking

Echidna 1.7.0 (opens in a new tab)

Echidna 1.7.0 is a major release that brings a few major features: Coverage guided-fuzzing enabled by default (no need to use coverage: true) · New mutators for transactions and arrays to discover even more interesting paths in your code · Source code integrat…Echidna release notes

EchidnaSecurity & Verificationcrytic/echidna·2 Feb 2021Breaking

Echidna 1.6.1 (opens in a new tab)

Echidna 1.6.1 is a minor release that, most importantly, allows using compiler metadata to detect which contracts are deployed, avoiding any issues when the bytecode modifies its own code (e.g., when they use the immutable keyword).Echidna release notes