Follow our guidelines and best practices to write secure smart contracts.
Table of contents:
- Slither: a static analyzer avaialable through a CLI and scriptable interface.
- Echidna: a fuzzer that will check your contract's properties.
- Manticore: a symbolic execution engine that can prove the correctness properties.
For each tool, this training material will provide: a theoretical introduction, a walkthrough of its API, and a set of exercises.
More exercises and guidelines are present on the master branch of this repository.