Skip to content
Using benchmarks to speed up Echidna
blog.trailofbits.com | blog | #web3 | #smart-contracts | #fuzzing | #performance | #echidna | #haskell | #profiling
Summary
A Trail of Bits associate used GHC profiling to hunt down a massive space leak in Echidna's hevm dependency, cutting memory use by gigabytes and sharing lessons on measuring performance correctly.
- Published
- Collected