Program analysis: How to use automated tools to secure contracts
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.
exercises expected to require ~two hours to practically learn its operation.
We use cookies. If you continue to browse the site, you agree to the use of cookies. For more information on our use of cookies please see our Privacy Policy.