Поиск

www.samag.ru

Web

0 товаров , сумма 0 руб.

	Журнал "Системный администратор"
	Журнал «БИТ»
	Подписка
	Архив номеров
	Где купить
	Наука и технологии
	Авторам
	Рекламодателям
	Контакты

Опросы

Статьи

Сетевая инфраструктура

Как удаленная работа меняет подход к сетевой инфраструктуре?

С увеличением числа сотрудников, работающих из дома, организации сталкиваются с необходимостью создания

Мониторинг

Какой мониторинг нужен сегодня?

По мнению экспертов ГК InfoWatch, действия сотрудников – самая распространенная причина инцидентов

Мобильные приложения

Искусственный интеллект в мобильных приложениях: возможности и перспективы

Обзор современных применений ИИ в мобильных приложениях, анализ перспектив развития этой технологии,

ИТ-образование

Как сделать ИТ-образование эффективным?

Эксперты ИТ-отрасли отвечают на вопросы «СА». Обсуждаем ключевые аспекты для улучшения образовательных

Work-life balance

Как айтишнику найти баланс между работой и личной жизнью?

Обсуждаем инструменты для эффективного управления временем, снижения уровня стресса и достижения гармонии. На

Книжная полка

Всё самое нужное – под одной обложкой

Отличительная черта книжных новинок, выпущенных недавно издательством «БХВ» – это их универсальность. Не просто

ИТ-инфраструктура

Системы мониторинга ИТ-инфраструктуры-2025

Без мониторинга ИТ-инфраструктуры не обходится ни одна компания, хотя бы потому, что

Открытое ПО

Безопасность Open Source: рискуем или контролируем?

Компания «Кросс технолоджис» изучила, как используется ПО с открытым кодом в компаниях

Работа с нейросетью

Скажи, есть ли у тебя AI, и я скажу, кто ты

Недавно сервис по поиску работы SuperJob выяснил, что каждый второй россиянин уже

Опрос

Защита личных и клиентских данных: как мошенники используют ИИ и как защититься?

По данным RED Security, общее число кибератак на российские компании в 2024

Опрос

Облачные инструменты для разработчиков

Эксперты ИТ-отрасли отвечают на вопросы «Системного администратора» > Как с помощью облака сделать

Опрос

Рынок мобильных приложений: что будет актуальным в 2025 году?

Эксперты ИТ-отрасли отвечают на вопросы «Системного администратора» > Ваши прогнозы: чего ожидать от

Рынок труда

Как успешно пройти все этапы собеседования на ИТ-должность?

По оценкам государства, дефицит ИТ-специалистов составляет от 740 тысяч до 1 миллиона

Исследование

Как искусственный интеллект меняет банковское обслуживание: от чат-ботов до автоматического одобрения кредитов

Искусственный интеллект (AI) всё глубже проникает в банковский сектор, меняя способы обслуживания

1001 и 1 книга

19.03.2018г.

Комментарии: 0

Машинное обучение с использованием библиотеки Н2О

12.03.2018г.

Комментарии: 0

Особенности киберпреступлений в России: инструменты нападения и защита информации

12.03.2018г.

Комментарии: 0

Глубокое обучение с точки зрения практика

12.03.2018г.

Комментарии: 0

Изучаем pandas

12.03.2018г.

Комментарии: 0

Программирование на языке Rust (Цветное издание)

19.12.2017г.

Комментарии: 0

Глубокое обучение

19.12.2017г.

Комментарии: 0

Анализ социальных медиа на Python

19.12.2017г.

Комментарии: 0

Основы блокчейна

19.12.2017г.

Комментарии: 0

Java 9. Полный обзор нововведений

16.02.2017г.

Комментарии: 0

Опоздавших не бывает, или книга о стеке

17.05.2016г.

Комментарии: 0

Теория вычислений для программистов

30.03.2015г.

Комментарии: 0

От математики к обобщенному программированию

18.02.2014г.

Комментарии: 0

Рецензия на книгу «Читаем Тьюринга»

13.02.2014г.

Комментарии: 0

Читайте, размышляйте, действуйте

12.02.2014г.

Комментарии: 0

Рисуем наши мысли

10.02.2014г.

Комментарии: 4

Страна в цифрах

18.12.2013г.

Комментарии: 0

Большие данные меняют нашу жизнь

18.12.2013г.

Комментарии: 0

Компьютерные технологии – корень зла для точки роста

04.12.2013г.

Комментарии: 0

Паутина в облаках

03.12.2013г.

Комментарии: 1

Рецензия на книгу «MongoDB в действии»

Друзья сайта

Разработка продвинутых методов статического анализа для обнаружения уязвимостей в смарт-контрактах Ethereum

Архив номеров / 2025 / Выпуск №5 (270) / Разработка продвинутых методов статического анализа для обнаружения уязвимостей в смарт-контрактах Ethereum

Рубрика: Наука и технологии / Раздел для научных публикаций

Бочаров М.И.,
кандидат педагогических наук, доцент, департамент «Анализа данных и машинного обучения», Финансовый университет при Правительстве Российской Федерации

Вилаков Н.В.,
аспирант, 3-й курс, кафедра «Информационные системы и технологии», Московский финансово-юридический университет МФЮА

Разработка продвинутых
методов статического анализа
для обнаружения уязвимостей в смарт-контрактах Ethereum

Смарт-контракты на платформе Ethereum обеспечивают автоматизацию и децентрализацию финансовых и бизнес-процессов, однако их уязвимости, такие как re-entrancy и некорректная обработка газа, приводят к значительным финансовым потерям. В статье анализируются ограничения существующих инструментов статического анализа для языка Solidity и предлагается новый подход, основанный на интеграции символьного выполнения и машинного обучения. Разработанный инструмент, SmartGuard, повышает точность обнаружения уязвимостей, минимизирует ложные срабатывания и адаптируется к эволюции смарт-контрактов. Эффективность подхода подтверждена тестированием на реальных контрактах из сети Ethereum.

Введение

Смарт-контракты в Ethereum представляют собой программы, выполняемые на виртуальной машине Ethereum (EVM), которые обеспечивают автоматизацию транзакций и бизнес-логики без посредников. Однако ошибки в коде, такие как re-entrancy, переполнение газа или некорректная обработка исключений, могут привести к эксплуатации контрактов и потере средств [1, с. 198]. Существующие инструменты статического анализа, такие как Oyente и Slither, имеют ограничения в точности и масштабируемости, часто генерируя ложные срабатывания или пропуская сложные уязвимости. В данной статье предлагается инструмент SmartGuard, объединяющий символьное выполнение и машинное обучение для повышения эффективности обнаружения уязвимостей в смарт-контрактах Solidity.

<...>

Ключевые слова: смарт-контракты, Ethereum, Solidity, машинное обучение, символьное выполнение, блокчейн

Полную версию статьи читайте в журнале
Подпишитесь на журнал

Комментарии отсутствуют

Добавить комментарий

Комментарии могут оставлять только зарегистрированные пользователи

Tel.: (499) 277-12-45
E-mail: sa@samag.ru

Разработка продвинутых методов статического анализа для обнаружения уязвимостей в смарт-контрактах Ethereum

Разработка продвинутых методов статического анализадля обнаружения уязвимостей в смарт-контрактах Ethereum

Введение

Разработка продвинутых
методов статического анализа
для обнаружения уязвимостей в смарт-контрактах Ethereum