Перейти к содержанию

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


advisorbm

Рекомендуемые сообщения

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

https://static.wixstatic.com/media/080a56_5164df30e3684200a6f462278a7d838f~mv2.png

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

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

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

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

выполнить-аудит-смарт-контрактов.jpg

 

 

База данных всех известных уязвимостей смарт-контактов.

sec_smart.png

 
Изменено пользователем advisorbm
Исправление оформления
Ссылка на комментарий
Поделиться на другие сайты

Для публикации сообщений создайте учётную запись или авторизуйтесь

Вы должны быть пользователем, чтобы оставить комментарий

Создать учетную запись

Зарегистрируйте новую учётную запись в нашем сообществе. Это очень просто!

Регистрация нового пользователя

Войти

Уже есть аккаунт? Войти в систему.

Войти
  • Последние посетители   0 пользователей онлайн

    • Ни одного зарегистрированного пользователя не просматривает данную страницу
  • Similar Topics

×
×
  • Создать...