Using Echidna to test a smart contract library

Published

2020-08-17 11:00

Collected

2026-07-03 04:14

---
id: 1845
title: "Using Echidna to test a smart contract library"
source_domain: blog.trailofbits.com
source_url: "https://blog.trailofbits.com/2020/08/17/using-echidna-to-test-a-smart-contract-library/"
published_at: "2020-08-17T11:00:17Z"
tags: ["web3", "smart-contracts", "fuzzing", "blockchain", "solidity", "echidna", "property-based-testing", "property-testing"]
phying_url: "https://phying.com/item/1845"
lang: en
---

# Using Echidna to test a smart contract library

## Summary

Walks through testing smart contract libraries with the Echidna fuzzer: property-based tests reproduce a real bug from the Set Protocol audit, showing how shared library flaws hit many contracts.

## Intelligence Metadata

- **Sources:** blog.trailofbits.com
- **Published:** 2020-08-17T11:00:17Z
- **Original:** https://blog.trailofbits.com/2020/08/17/using-echidna-to-test-a-smart-contract-library/
- **Phying News:** https://phying.com/item/1845