Thank you for attending TruffleCon 2019! Feel free to use this scheduler to customize your Truffle experience. View topics, speakers, time and availability. You can also let us know how each session you attended went so we can make your experience even better!
In this workshop, Josselin will present how to use modern program analysis techniques to build secure smart contracts. Through hands-on manipulations, we will see how to integrate Slither, a static analysis platform, Echidna, a smart contract fuzzer, and Manticore, a symbolic execution engine, into a Truffle project. The attendees will discover how these techniques work and how to use them efficiently. All the exercises will be performed on open source tools. Links: https://github.com/crytic/slither https://github.com/crytic/echidna https://github.com/trailofbits/manticore