STATEFUL FUZZING

6 articles tagged "stateful fuzzing"

2025-06-23·11 min read

Echidna vs Medusa: A Practical Comparison for Security Researchers

A hands-on comparison of Echidna and Medusa for smart contract fuzzing. We cover performance, configuration, corpus management, and when to choose each tool.

By Antonio
echidnamedusafuzzing
2025-12-15·9 min read

Stateful Fuzzing Explained: Why Sequence Matters in Smart Contract Testing

Most smart contract bugs only manifest after a specific sequence of transactions. Stateful fuzzing explores these sequences automatically — here is how it works and why it matters.

By Antonio
stateful-fuzzingfuzzingproperty-based-testing
2025-04-28·10 min read

Smart contract fuzzing tools compared: Echidna, Medusa, Halmos, and Foundry

Four tools dominate smart contract fuzzing. Each approaches the problem differently, and picking the wrong one wastes time. Here's how to match the right fuzzer to your project — or use all four together.

By Antonio
fuzzingechidnamedusa
2025-10-20·11 min read

Foundry fuzz testing: from basic fuzzing to invariant tests

Foundry's built-in fuzzer goes well beyond what most developers use. This guide covers the full spectrum from basic input fuzzing to stateful invariant tests to bridging into dedicated fuzzing tools.

By Deivitto
fuzzinginvariant-testingsmart-contract-security
2025-11-17·15 min read

Echidna tutorial: advanced stateful fuzzing campaigns

Go beyond basic Echidna usage with advanced config tuning, corpus management, multi-contract setups, and stateful campaign strategies that catch deep bugs.

By Antonio
fuzzingechidnastateful-fuzzing
2026-03-24·15 min read

Chimera advanced patterns: multi-contract fuzzing with actors and ghosts

Take your Chimera skills to the next level. Multi-contract setups, actor patterns for simulating real users, ghost variables for state tracking, and cross-contract invariants.

By Kn0t
chimera-frameworkinvariant-testingstateful-fuzzing

Need help securing your protocol?