Ткач, Володимир МиколайовичЗвінський, Тарас Сергійович2023-06-062023-06-062022Звінський, Т. С. Автоматизація виявлення вразливостей у смарт-контрактах : магістерська дис. : 125 Кібербезпека / Звінський Тарас Сергійович. – Київ, 2022. – 77 с.https://ela.kpi.ua/handle/123456789/56687Метою роботи є підвищення ефективності виявлення вразливостей у смарт- контрактах, шляхом розроблення модифікованого підходу до символьного виконання та формулюванні покращених алгоритмів, відповідно до типу вразливості. Завданням роботи є дослідження й аналіз існуючих рішень для автоматизованого виявлення вразливостей, відбір таких, що передбачають перспективу масштабування. Наступне, модифікація модулів одного з них для покращення точності пошуку визначених вразливостей. Порівняння з існуючими засобами та аналіз результатів.77 с.ukсмарт-контрактсимвольне виконанняграф потоку керуванняmythrilstateSMT-solvercritical instructionMaster Thesis004.056