))
Symbolic Execution & Formal Verification | Trail Of Bits Head of Blockchain Engineering
Manage episode 408033508 series 3564007
内容由cyfrin提供。所有播客内容（包括剧集、图形和播客描述）均由 cyfrin 或其播客平台合作伙伴直接上传和提供。如果您认为有人在未经您许可的情况下使用您的受版权保护的作品，您可以按照此处概述的流程进行操作https://zh.player.fm/legal。
We go over:
- Formal Verification
- Symbolic Execution
- Fuzzing
- Static Analysis
With Trail of Bits Head of Engineering, Josselin Feist!
🐦 Josselin: https://twitter.com/Montyly
📝 Secure Contracts: https://secure-contracts.com/
🔵 Properties: https://github.com/crytic/properties
🦅 Manticore: https://github.com/trailofbits/manticore
🐍 Slither: https://github.com/crytic/slither
🦔 Echidna: https://github.com/crytic/echidna
⛨ Book a smart contract audit here!
👇 👇 👇 👇 👇 👇 👇 👇 👇 👇 👇 👇 👇
☝️☝️☝️☝️☝️☝️☝️☝️☝️☝️☝️☝️☝️☝️☝️☝️
Follow Cyfrin:
Twitter: https://twitter.com/CyfrinAudits
LinkedIn: https://www.linkedin.com/company/cyfrin/?
YouTube: https://www.youtube.com/@UCwlGG-aBeR95seT49XetR8A
Website: https://www.cyfrin.io/
14集单集
分享
