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

An Echidna for all Seasons

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

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

original ↗

Related coverage

  1. State divergence enables unauthorized access (blog.trailofbits.com)
  2. Using Echidna to test a smart contract library (blog.trailofbits.com)
  3. State Machine Testing with Echidna (blog.trailofbits.com)
  4. HackenProof, in Partnership with Hack The Box—the Four Million Platform—Has Launched a CTF Security Challenge for the Blockchain Industry (hackenproof.com)
  5. HackenProof, in Partnership with Hack The Box—the Four Million Platform—Has Launched a Course for the Blockchain Industry (hackenproof.com)
  6. Building secure Uniswap v4 hooks (blog.trailofbits.com)

back