Автоматизація виявлення вразливостей у смарт-контрактах
Вантажиться...
Дата
2022
Автори
Науковий керівник
Назва журналу
Номер ISSN
Назва тому
Видавець
КПІ ім. Ігоря Сікорського
Анотація
Метою роботи є підвищення ефективності виявлення вразливостей у смарт-
контрактах, шляхом розроблення модифікованого підходу до символьного
виконання та формулюванні покращених алгоритмів, відповідно до типу
вразливості.
Завданням роботи є дослідження й аналіз існуючих рішень для
автоматизованого виявлення вразливостей, відбір таких, що передбачають
перспективу масштабування. Наступне, модифікація модулів одного з них для
покращення точності пошуку визначених вразливостей. Порівняння з існуючими
засобами та аналіз результатів.
Опис
Ключові слова
смарт-контракт, символьне виконання, граф потоку керування, mythril, state, SMT-solver, critical instruction
Бібліографічний опис
Звінський, Т. С. Автоматизація виявлення вразливостей у смарт-контрактах : магістерська дис. : 125 Кібербезпека / Звінський Тарас Сергійович. – Київ, 2022. – 77 с.