Subscribe
Sign in
Home
Archive
About
Invariant Testing Bootcamp with Recon & RareSkills
Join us on a 5-week online bootcamp on Invariant Testing starting January 26, 2026
Jan 6
•
Antonio Viggiano
2
Latest
Top
Discussions
Finding Denial of Service Bugs At Scale With Invariant Tests
In this article, we share the techniques used to validate & find Denial of Service bugs on Size Credit's codebase, as well as ideas on how to automate…
Jun 18, 2024
•
Antonio Viggiano
2
Running Halmos by Default for Library Testing
If you are already "thinking in properties" when writing fuzz tests, I encourage you to run Halmos by default.
Jun 7, 2024
•
Antonio Viggiano
6
Learnings from 6 weeks of fuzzing Badger DAO's eBTC protocol
Key Takeaways and best practices from a comprehensive Formal Specification & Invariant Testing Audit
May 19, 2024
•
Antonio Viggiano
2
1
Onchain fuzzing benchmark: running echidna on mainnet
In this article, we compare echidna's performance on mainnet in optimization mode. Our analysis finds that using a local node can be 2x-10x more…
Apr 18, 2024
•
Antonio Viggiano
1
2
1
Generating unit tests from broken stateful invariant tests
In this post, we analyze different solutions to generate unit tests from broken stateful invariant tests
Apr 3, 2024
•
nican0r
and
Antonio Viggiano
ElasticSwap Invariant Case Study
Defining invariants that could've prevented the exploit
Mar 14, 2024
•
nican0r
Debugging Echidna Coverage
A real world example of how to debug Echidna's coverage report to optimize the fuzzer performance.
Mar 9, 2024
•
nican0r
2
See all
All things fuzzy
We talk about fuzz testing, invariant testing, symbolic testing, and formal verification.
Subscribe
Recommendations
View all 3
Recon
Recon
DeFiHackLabs: Write Loud, Hack Proud
SunSec
All things fuzzy
Subscribe
About
Archive
Recommendations
Sitemap
This site requires JavaScript to run correctly. Please
turn on JavaScript
or unblock scripts
