Автоматизированный анализ уязвимостей в смарт-контрактах

Развитие блокчейн-технологий привело к активному использованию смарт-контрактов, однако их безопасность остается острой проблемой. Атаки на уязвимости контрактов приводят к значительным финансовым потерям. В этом исследовании представлена архитектура решения для выявления уязвимостей в смарт-контрактах с использованием методов машинного обучения. Основная цель — создание автоматизированной системы анализа кода.