|
Рубрика:
Наука и технологии /
Раздел для научных публикаций
|
Facebook
Мой мир
Вконтакте
Одноклассники
Google+
|
Бочаров М.И.,
кандидат педагогических наук, доцент, департамент «Анализа данных и машинного обучения», Финансовый университет при Правительстве Российской Федерации
Вилаков Н.В.,
аспирант, 3-й курс, кафедра «Информационные системы и технологии», Московский финансово-юридический университет МФЮА
Разработка продвинутых
методов статического анализа
для обнаружения уязвимостей в смарт-контрактах Ethereum
Смарт-контракты на платформе Ethereum обеспечивают автоматизацию и децентрализацию финансовых и бизнес-процессов, однако их уязвимости, такие как re-entrancy и некорректная обработка газа, приводят к значительным финансовым потерям. В статье анализируются ограничения существующих инструментов статического анализа для языка Solidity и предлагается новый подход, основанный на интеграции символьного выполнения и машинного обучения. Разработанный инструмент, SmartGuard, повышает точность обнаружения уязвимостей, минимизирует ложные срабатывания и адаптируется к эволюции смарт-контрактов. Эффективность подхода подтверждена тестированием на реальных контрактах из сети Ethereum.
Введение
Смарт-контракты в Ethereum представляют собой программы, выполняемые на виртуальной машине Ethereum (EVM), которые обеспечивают автоматизацию транзакций и бизнес-логики без посредников. Однако ошибки в коде, такие как re-entrancy, переполнение газа или некорректная обработка исключений, могут привести к эксплуатации контрактов и потере средств [1, с. 198]. Существующие инструменты статического анализа, такие как Oyente и Slither, имеют ограничения в точности и масштабируемости, часто генерируя ложные срабатывания или пропуская сложные уязвимости. В данной статье предлагается инструмент SmartGuard, объединяющий символьное выполнение и машинное обучение для повышения эффективности обнаружения уязвимостей в смарт-контрактах Solidity.
<...>
Ключевые слова: смарт-контракты, Ethereum, Solidity, машинное обучение, символьное выполнение, блокчейн
Полную версию статьи читайте в журнале
Подпишитесь на журнал
Facebook
Мой мир
Вконтакте
Одноклассники
Google+
|
Разработка продвинутых методов статического анализа для обнаружения уязвимостей в смарт-контрактах Ethereum
