Echidna Tutorial

The objective of this tutorial is to demonstrate how to use Echidna to automatically test smart contracts.

To learn through live coding sessions, watch our Fuzzing workshop.

Table of Contents:

• Introduction: Introductory material on fuzzing and Echidna
• Basic: Learn the first steps for using Echidna
• Advanced: Explore the advanced features of Echidna
• Fuzzing tips: General fuzzing recommendations
• Frequently Asked Questions: Responses to common questions about Echidna
• Configuration options: Description of all Echidna configuration options
• Exercises: Practical exercises to enhance your understanding

Join the team on Slack at: https://slack.empirehacking.nyc/ #ethereum.

If you are looking for help to build fuzzing capabilities for your team, check out our invariant development as a service.