Summary
Full Transcript
ХОТИТЕ СТАТЬ РАЗРАБОТЧИКОМ Solidity, узнать об Ethereum, блокчейне и многом другом ещё больше?! Мои друзья из GUIDE DAO (бывшая школа MCS) предлагают скидку 0,1 ETH на ВСЕ СВОИ БУТКЕМЫ ПО КРИПТЕ! Материалы этих буткемов подготовлены мной и другими специалистами: вы действительно узнаете ОЧЕНЬ много нового. Помимо этого, вы получите пожизненный бесплатный доступ к платформе, регулярным стримам, семинарам, подкастам и дискуссионным клубам. 1. Просто зайдите на сайт https://www.guidedao.xyz/?utm_source=... 2. Выберите один из буткемпов 3. Примените промо-код: KRUK В этом уроке мы поговорим про то, что такое symbolic testing, зачем оно нужно и как работает. В качестве примера мы рассмотрим решение Mythril. Таймкоды: 00:00 Введение 00:45 Symbolic testing на пальцах 02:45 Fuzzy testing 03:40 Когда symbolic testing полезно? 06:15 Как работает symbolic testing 16:45 Запускаем Mythril 18:15 Недостатки symbolic testing Станьте спонсором канала, и вы получите доступ к эксклюзивным бонусам: https://www.youtube.com/channel/UCN2waErKU52T_41pGgUimXw/join Boosty: https://boosty.to/bodrovis Patreon: https://www.patreon.com/bodrovis Аккаунт Ethereum (ETH), Arbitrum, Polygon, BNB, USDT, TRX, BUSD: 0x719C2d2bcC155c85190f20E1Cc3710F90FAFDa16 Сравнение разных решений для symbolic testing https://hackmd.io/@SaferMaker/EVM-Sym-Exec#What-is-symbolic-execution Канал Telegram: https://t.me/dev_in_ruby_colors Наш чат в Telegram: https://t.me/joinchat/MxYT6-01eeA1NTYy Мой сайт: http://bodrovis.tech
