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

• 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 для анализа безопасности смарт-контрактов