Авторизация
Зарегистрироваться
Логин или эл. почта
Напомнить пароль
Пароль
Войти
Запомнить меня
SMART-LAB
Мы делаем деньги на бирже
Новый дизайн
Котировки
Акции
+1
Облигации
Брокеры
Другие
Ленты
PREMIUM
Все блоги
Чат
Новости
Поток
Сигналы
Форумы
Топ 24
Вопросы
Видео
Оффтоп
Форумы
Форум акций
Общий
Облигации
Торговые роботы
Опционы
Forex
Банки
Брокеры
Участники
Люди
Компании
Котировки
Котировки акций
ОФЗ
Карта рынка
Фьючерсы
Мир/FX/Сырье/Крипта
Графики онлайн
Акции
Дивиденды
Отчеты РСБУ/МСФО
Фундам. анализ
Календарь
Акции
Экономика
Информация
Энциклопедия
Лучшие статьи
Книги
Каталог книг
100 лучших книг
Книжные рецензии
Российские акции
- Московская Биржа
Внебиржевые акции
- Московская Биржа
Валютный рынок
- Московская Биржа
Корпоративные облигации
- Московская Биржа
ОФЗ
- Московская Биржа
Фьючерсы
Фондовые индексы, сырьевые рынки, FOREX
Американские акции
- Биржи США
Мировые акции
- Иностранные Биржи
Биржевые ПИФы и ETF
- Московская Биржа
ПИФы
- Московская Биржа
Еврооблигации
- Московская Биржа
Индексы Российских Акций
РЕПО с ЦК
Индексы РЕПО
Индексы облигаций
Общий форум
Forex
Опционы
Алго
Софт
Криптовалюта
Банки
PREMIUM
Все блоги
ЧАТ
Поток
Новости акций
Блог им. AAF
Инструменты и ресурсы для анализа и защиты смарт-контрактов в блокчейне.
06 мая 2023, 11:58
|
AdvisorBM
Инструменты для анализа и защиты смарт-контрактов в блокчейне.
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.
Отчеты об аудите смарт-контрактов.
Отчеты об аудите OpenZeppelin
Отчеты об аудите ConsenSys Diligence
Отчеты об аудите PeckShield
Отчеты аудита SlowMist
Отчеты об аудите Trail of Bits
Аудиторские отчеты Tech Audit USA
Аудиторские отчеты Halborn
Отчеты об аудите InterfiNetwork
Единые аудиторские отчеты
Отчеты об аудите ChainSecurity
Отчеты об аудите ImmuneBytes
Отчеты об аудите TechRate
Отчеты об аудите MixBytes
Отчеты об аудите Quillhash
Отчеты об аудите Chainsulting
База данных всех известных уязвимостей смарт-контактов.
Он содержит более 700 уязвимостей. Все описания разделены на имена, условия и ссылки на GitHub (с подробными описаниями и рекомендациями).
Средний
:
серьезность
Высокий
:
серьезность
С оригинальным списком инструментов вы можете ознакомиться здесь>>>>
спецраздел:
торговый софт
Ключевые слова:
торговый софт
★3
хорошо
3
1 комментарий
Супер!!! Спасибо!
ertt
06 мая 2023, 17:58
Ответить
Полезные
Лучшие
Обсуждаемые
полезные записи за 24 часа
★8
11
Каждый второй россиянин не готов к непредвиденным расходам (к предвиденным тоже не готов)
★7
2
ТОП-10 акций на 4 квартал, которые обгонят индекс по версии Альфа-инвестиций
★7
76
Не будь идиотом, не откладывай на потом главную инвестицию в своей жизни!
★5
39
17 признаков глобальной рецессии звучат пугающе
★5
46
Мой Рюкзак #47: В кэше сидеть страшнее, чем в акциях (при низких ценах). У меня одного такое?)
★5
2
Зарабатываем при любой ситуации на рынке с помощью фьючерсов
★4
19
Любовь возле туалета или как я 10% за месяц на конференции Смартлаба поднял
★4
49
У нас нет долгосрочных инвесторов
★3
9
🔑Ключевая ставка Шредингера 🐈
★3
1
Черкизово - летит на волнах инфляции
Полезные записи
+234
178
Ситуация на текущий момент
+221
76
Не будь идиотом, не откладывай на потом главную инвестицию в своей жизни!
+212
149
Тимофей, с такими постами пора заканчивать.
+127
105
Азия. Среда.
+108
46
Мой Рюкзак #47: В кэше сидеть страшнее, чем в акциях (при низких ценах). У меня одного такое?)
+103
29
Неразмещение ОФЗ
+101
99
Рынок помер на текущих уровнях. Но что будет после 25-го октября?
+91
26
🏆Рекордный дневной прирост
+90
27
Динамика недельной инфляции в России
+86
66
Индекс МБ сегодня
Лучшие записи за 24 часа
самые обсуждаемые сегодня
11к
Ресторанная индустрия США посыпалась.
4к
Сокращение числа парковок.
2к
⚡Шансов на спасение минимум
2к
Ограничение скорости кикшеринговых самокатов в Москве резко сократило аварийность
3к
Недельная инфляция в РФ.
2к
В Москве ввели мораторий на строительство апартаментов
1к
МВФ назвал РФ 4й экономикой мира по ппс
1к
Меньше карт
1к
Путин предложил создать зерновую биржу БРИКС....(+новости заячьего портфеля на 23.10.24...)....
1к
"Макдак" падает
Самые комментируемые
Рейтинг брокеров
Купить акции
теги блога AdvisorBM
Evil extractor
информационная безопасность
криптовалюта
оффтоп
торговый софт
форекс
....все тэги
UP
DONW
Новый дизайн