Phying News
P非影 中文
Curated security research, vulnerabilities, advisories and tools for practitioners.

Using Echidna to test a smart contract library

blog.trailofbits.com | blog | #web3 | #smart-contracts | #fuzzing | #blockchain | #solidity | #echidna | #property-based-testing | #property-testing

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.
Published
Collected

original ↗

Related coverage

  1. An Echidna for all Seasons (blog.trailofbits.com)
  2. State Machine Testing with Echidna (blog.trailofbits.com)
  3. HackenProof, in Partnership with Hack The Box—the Four Million Platform—Has Launched a CTF Security Challenge for the Blockchain Industry (hackenproof.com)
  4. HackenProof, in Partnership with Hack The Box—the Four Million Platform—Has Launched a Course for the Blockchain Industry (hackenproof.com)
  5. State divergence enables unauthorized access (blog.trailofbits.com)
  6. Reusable properties for Ethereum contracts (blog.trailofbits.com)

back