Автоматизована система аналізу та пошуку вразливостей smart-контрактів

Abstract

Дослідження охоплює розробку запропонованої архітектури системи для статичного та динамічного аналізу смарт-контрактів, спрямованого на виявлення типових шаблонів вразливостей, таких як повторне використання функцій, витік даних та слабкі місця в логіці контрактів. У цій роботі розглядалися проблеми, з якими стикаються існуючі інструменти реверсивного аналізу вразливостей smart контрактів. Згідно з результатами дослідження, не всі інструменти мають високу точність і мають необхідну кількість інструментів для реверсивного аналізу. Ефективність аналізу смарт-контрактів забезпечується тестуванням системи на контрактах із відомими вразливостями, що дозволяє оцінити точність, швидкість і надійність розробленого підходу. Створене програмне забезпечення прискорить і полегшить процес ручного та автоматичного аналізу вразливостей smart контрактів, а результати роботи можуть бути використані для подальшого створення інструментів аналізу коду smart-контрактів, для яких важливими елементами є надійність і безпека.

The research encompasses the development of a system architecture for static and dynamic analysis of smart contracts, targeting the detection of common vulnerability patterns, such as function reentrancy, data leakage, and weaknesses in contract logic. This work addresses the challenges faced by current reverse analysis tools in detecting vulnerabilities in smart contracts. According to the research results, not all tools provide high accuracy or include sufficient features for reverse analysis. The effectiveness of the smart contract analysis is ensured by testing the system on contracts with known vulnerabilities, allowing for an assessment of the developed approach’s accuracy, speed, and reliability. The developed software will expedite and facilitate the process of both manual and automated vulnerability analysis in smart contracts, and the findings from this work can be utilized for the further development of code analysis tools for smart contracts, where reliability and security are essential.