Comments 1
Классно, что ты попробовал решить задание EtherHack не реверс с помощью manticore, символическое исполнение позволяет найти пинкоды без какого-либо ручного анализа. Я пробовал с Mythril, но с ним не получилось.
Еще добавлю:
- MAIAN — еще одна реализация символического исполнения EVM, которая позволяет в отличие от Mythril искать уязвимости, для которых требуется больше одной транзакции, а также способная подтверждать уязвимости на приватном блокчейне с целью снижения фолзов.
- ethereum-graph-debugger — графический отладчик Solidity
- KEVM — формальная верификация ERC20-контрактов
- sol-function-profiler — простая утилита для профилирования контрактов
+3
Sign up to leave a comment.
Attention! S in Ethereum stands for Security. Part 4. Tools