git clone https://github.com/trailofbits/publicationscd "workshops/Automated Smart Contracts Audit - TruffleCon 2019"docker pull trailofbits/eth-security-toolbox
This is a 3.5 hour workshop on programmatic smart contract security. It describes how to use a static analyzer, Slither, a fuzzer, Echidna, and a symbolic analysis toolkit, Manticore, to review the security of smart contracts and prove correctness.
Presented at
Authored by
- Josselin Feist
Consider joining a community of Ethereum security engineers and the developers of Slither, Echidna, and Manticore in the Empire Hacking Slack. We host an open office hours for Ethereum security every other week and coordinate it through this Slack, in addition to announcements on Twitter @trailofbits. Please see our release announcement on our blog for more details: Ethereum security guidance for all.