Tutorial

Echidna Tutorial

The aim of this tutorial is to show how to use Echidna to automatically test smart contracts.

The first part introduces how to write a property for Echidna. The second part is a set of exercises to solve.

Table of contents:

• Requirements
• How to test a property
• Exercise 1
• Exercise 2
• Exercise 3

Join the team on Slack at: https://empireslacking.herokuapp.com/ #ethereum

Requirements

All the material of this tutorial is included in our eth-security-toolbox. Run:

$ docker pull trailofbits/eth-security-toolbox
$ docker run -it trailofbits/eth-security-toolbox

The examples and the exercices are inspired from our TruffleCon workshop. Once in the docker, run:

cd "/home/ethsec/workshops/Automated Smart Contracts Audit - TruffleCon 2018/echidna"