---
id: 1872
title: "An Echidna for all Seasons"
source_domain: blog.trailofbits.com
source_url: "https://blog.trailofbits.com/2020/03/30/an-echidna-for-all-seasons/"
published_at: "2020-03-30T11:00:46Z"
tags: ["web3", "smart-contracts", "fuzzing", "blockchain", "trail-of-bits", "solidity", "echidna", "property-based-testing"]
phying_url: "https://phying.com/item/1872"
lang: en
---

# An Echidna for all Seasons

## Summary

Two years after open-sourcing Echidna, Trail of Bits reviews new features in its property-based smart contract fuzzer, including crytic-compile support, assertion testing, and corpus reuse.

## Intelligence Metadata

- **Sources:** blog.trailofbits.com
- **Published:** 2020-03-30T11:00:46Z
- **Original:** https://blog.trailofbits.com/2020/03/30/an-echidna-for-all-seasons/
- **Phying News:** https://phying.com/item/1872