Pull to refresh

Comments 1

Классно, что ты попробовал решить задание EtherHack не реверс с помощью manticore, символическое исполнение позволяет найти пинкоды без какого-либо ручного анализа. Я пробовал с Mythril, но с ним не получилось.


Еще добавлю:


  • MAIAN — еще одна реализация символического исполнения EVM, которая позволяет в отличие от Mythril искать уязвимости, для которых требуется больше одной транзакции, а также способная подтверждать уязвимости на приватном блокчейне с целью снижения фолзов.
  • ethereum-graph-debugger — графический отладчик Solidity
  • KEVM — формальная верификация ERC20-контрактов
  • sol-function-profiler — простая утилита для профилирования контрактов
Sign up to leave a comment.