Технології автоматичного виправлення помилок безпеки в програмному забезпеченні
Вантажиться...
Дата
2019-12
Автори
Науковий керівник
Назва журналу
Номер ISSN
Назва тому
Видавець
КПІ ім. Ігоря Сікорського
Анотація
Обсяг роботи 96 сторінок, 24 ілюстрації, 23 таблиці, 88 джерел літератури.
Об'єктом дослідження є вразливе програмне забезпечення, що містить помилки безпеки.
Предметом дослідження є методи аналізу проміжного представлення коду, методи глибинного навчання для пошуку вразливостей та методи автоматичного виправлення помилок безпеки в коді програмного забезпечення.
Методи дослідження - представлення початкового коду у вигляді абстрактного синтаксичного дерева, методи глибинного навчання, що дозволяють генерувати виправлення для помилок безпеки.
Наукова новизна полягає в тому, що отримав подальший розвиток метод виправлення помилок безпеки в програмному забезпеченні написаному мовою програмування С/С++ на основі детермінованих правил шляхом додавання специфічних шаблонів, що автоматично трансформують абстрактне синтаксичне дерево виправляючи відповідну помилку безпеки. Також отримав подальший розвиток метод виправлення помилок безпеки на основі глибинного навчання шляхом попередньої обробки коду для підвищення точності завдяки видобуванню найбільш істотних ознак для помилки безпеки.
Результати роботи викладені у третьому розділі, що демонструють роботу систем виправлення помилок безпеки на основі детермінованих шаблонів та на основі глибинного навчання.
Результати роботи можуть бути використані виправлення специфічних помилок безпеки в початковому коді програмного забезпечення.
Опис
Ключові слова
АСД, помилка безпеки, автоматичне виправлення помилок, AST, security bug, security issues, automatic patch generation
Бібліографічний опис
Савченко, А. Ю. Технології автоматичного виправлення помилок безпеки в програмному забезпеченні : магістерська дис. : 125 Кібербезпека / Савченко Артем Юрійович. – Київ, 2019. – 96 с.