Skip to content
Differential fuzz testing upgradeable smart contracts with Diffusc
blog.trailofbits.com | blog | #web3 | #smart-contracts | #defi | #fuzzing | #static-analysis | #blockchain | #slither | #echidna | #upgradeable-contracts | #diffusc
Summary
Trail of Bits introduces Diffusc, combining Slither static analysis with differential fuzz testing via Echidna to catch behavior changes in upgradeable smart contracts before on-chain upgrades.
- Published
- Collected