TUTORIAL
8 articles tagged "tutorial"
Getting Started with Recon Pro Cloud Fuzzing
A step-by-step guide to running your first cloud fuzzing campaign with Recon Pro. Go from zero to fuzzing in minutes, with no infrastructure to manage.
How to write your first invariant test
A hands-on tutorial that walks you through writing three invariant properties for a simple ERC-20 vault, then running them with Foundry and Echidna. Working test suite in 30 minutes.
Medusa fuzzer tutorial: from install to first bug
A hands-on tutorial that takes you from installing Medusa to catching your first real bug. Covers project setup, property writing, campaign configuration, and result analysis.
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.
Halmos symbolic testing tutorial: prove your properties
A complete tutorial on using Halmos for symbolic execution of Solidity. Write proofs instead of tests, get mathematical guarantees, and catch bugs fuzzers miss.
Certora CVL tutorial: a practitioner's guide to writing specs
A practical guide to writing Certora CVL specs. Covers the language basics, real DeFi patterns, common pitfalls, and when Certora shines vs fuzzing.
Slither beyond defaults: writing custom detectors for your protocol
Default Slither detectors catch generic bugs. Custom detectors catch your protocol's bugs. Here's how to write them using the Slither API and SlithIR.
Getting started with the Recon VS Code extension
The Recon extension puts fuzzing inside your editor. Scaffold Chimera tests with one click, run any fuzzer from the command palette, and read coverage without leaving VS Code.