Блог им. AAF

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

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

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

  • 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.

Награда за обнаружение ошибок в блокчейне.

Инструменты и ресурсы для анализа и защиты смарт-контрактов в блокчейне. 
  • Immunefi — Immunefi — ведущая платформа для поиска ошибок.
  • HackenProof — краудсорсинговая платформа для тестирования кибербезопасности.
  • Ethereum — официальная платформа Ethereum для поиска ошибок.
  • DVPNET — децентрализованная платформа уязвимостей.
  • SlowMist — платформа для поиска ошибок SlowMist.
  • Bounty0x — Bounty0x — платформа для охоты за головами в криптовалюте.
  • BugBunter — платформа для поиска ошибок BugBunter.

Отчеты об аудите смарт-контрактов.

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

 

База данных всех известных уязвимостей смарт-контактов.
Он содержит более 700 уязвимостей. Все описания разделены на имена, условия и ссылки на GitHub (с подробными описаниями и рекомендациями).

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

С оригинальным списком инструментов вы можете ознакомиться здесь>>>>


 
Данная публикация является личным мнением автора. Мнение владельца сайта может не совпадать с мнением автора.
238 | ★3
1 комментарий
Супер!!! Спасибо!
avatar

Читайте на SMART-LAB:
США нарастили госдолг до $40 трлн: в чем уроки для России?
Госдолг США, по данным американского Минфина, превысил $40 трлн при определенном Конгрессом потолке на уровне $41,1 трлн.  С 2017 года показатель...
Фото
Госдолг США достиг $40 трлн. Это критично?
Дарья Фёдорова Госдолг США официально превысил $40 трлн, удвоившись за последние 10 лет. Без учёта задолженности федерального правительства...
💸 Совет директоров Займера рассмотрит дивиденды за II квартал
В понедельник, 24 августа, СД Займера рассмотрит вопрос о рекомендации дивидендов по итогам II квартала 2026 года. Размер рекомендованной выплаты...
Фото
Длинные ОФЗ: сколько можно заработать, если ключевая ставка ЦБ РФ продолжит снижаться?
ока с начала текущего года заработать на длинных ОФЗ особо не получается – ожидания усиления инфляционных и прочих рисков привело к росту...

теги блога AdvisorBM

....все тэги



UPDONW
Новый дизайн