There was an error while loading. Please reload this page.
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:
Join the team on Slack at: https://empireslacking.herokuapp.com/ #ethereum
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"