(КПІ ім. Ігоря Сікорського, 2023) Андрiєвич, Д. Ю.; Ткач, В. М.
Досить тривалий час безпеці блокчейн-застосунків не приділяли належної уваги через невелику кількість користувачів та, як результат, фінансову непривабливість будь-яких інвестицій у безпеку створюваних застосунків. Логічно, що нехтування безпекою призвело до багатомільярдних збитків та зменшення довіри з боку користувачів. У роботі було проаналізовано основні інструменти та методи статичного аналізу, які застосовуються для дослідження смарт-контрактів, а також були досліджено потенційні проблеми та обмеження, які пов’язані з їх використанням.