Инструменты и ресурсы для анализа и защиты смарт-контрактов в блокчейне.

Инструменты для анализа и защиты смарт-контрактов в блокчейне.

Porosity — инструмент для декомпиляции и анализа безопасности смарт-контрактов Ethereum на основе блокчейна.
Mythril — инструмент анализа безопасности смарт-контрактов Ethereum.
MAIAN — автоматический инструмент для поиска уязвимостей трассировки в смарт-контрактах Ethereum.
Echidna — фреймворк для фазз-тестирования Ethereum.
Ethersplay — графический дизассемблер EVM с расширенными возможностями. (Бинджа)
Oyente — автоматический анализатор кода EVM, основанный на символьном исполнении и решателе Z3 SMT.
IDA-EVM — процессорный модуль IDA для виртуальной машины Ethereum.
Evmdis — дизассемблер EVM.
Securify — формальная проверка смарт-контрактов Ethereum.
SmartCheck — Статический анализатор безопасности смарт-контрактов
Solgraph — визуализация потока управления Solidity для анализа безопасности смарт-контрактов
Manticore — символический инструмент исполнения смарт-контрактов и двоичных файлов
Rattle — Rattle — это статический анализатор EVM, который анализирует байт-код EVM непосредственно на наличие уязвимостей.
Slither — статический анализ на Solidity.
Diligence — службы безопасности, инструменты и лучшие практики для экосистемы Ethereum.
Fuildai — Fluid — это искусственный интеллект, который может автоматически находить и исправлять фатальные уязвимости безопасности в смарт-контрактах.
VSCode — расширение Solidity Visual Auditor для VS Code.