Марченко, Олександр ІвановичКасянчук, Дмитро Павлович2023-06-072023-06-072023Касянчук, Д.П. Модифікований метод статичного аналізу коду для рішення задачі згортки рядкових констант : магістерська дис. : 123 Комп’ютерна інженерія / Касянчук Дмитро Павлович. – Київ, 2023. – 100 с.https://ela.kpi.ua/handle/123456789/56756Актуальність теми. Рядки широко використовуються в сучасних мовах програмування, зокрема у рядкових літералах для надання інформації користувачу, у програмах обробки текстів, у програмах, що використовують рефлексію тощо. Тому розробка спеціальних методів статичного аналізу для задачі згортки рядкових констант є актуальною і важливою задачею, як з наукової, так і з практичної точки зору. Об’єктом дослідження є процес згортки рядкових констант програми. Предметом дослідження є методи статичного аналізу для рішення задачі згортки рядкових констант. Мета роботи: прискорення процесу згортки рядкових констант програми; розробка більш швидкого методу чи модифікованого методу згортки рядкових констант програми. Наукова новизна полягає у наступному. 1. Вперше запропоновано модифікований метод згортки рядкових констант, який полягає у анотуванні пропагованих значень додатковою інформацією, аналіз якої дозволяє не здійснювати конкатенацію значень, які не можуть існувати разом під час реального виконання програми, відрізняється від існуючих використанням вкладеної хеш-таблиці в якості значень основної хеш-таблиці замість структури даних типу «множина» та модифікованої трансферної функції і дозволяє зменшити розмір проміжних результатів аналізу потоку даних, завдяки чому зменшується складність алгоритмів, що використовуються, тим самим покращуючи швидкість і точність згортки рядкових констант програми. 2. Вперше виконано порівняльний аналіз розробленого модифікованого методу із стандартним методом і показано ефективність запропонованого модифікованого методу. Практична цінність отриманих в роботі результатів полягає в тому, що запропонований модифікований метод дає змогу використати його у більшій кількості застосунків, ніж стандартний метод, в яких треба визначити повну множину рядків, що використовуються в програмі, але наявні методи не можуть бути ефективно використані через їх незадовільну швидкодію. Апробація роботи. Основні положення роботи були представлені у випуску №50 2023 року наукового фахового журналу «Комп'ютерно-інтегровані технології: освіта, наука, виробництво». Порівняльний аналіз розробленого методу з існуючими був представлений у випуску №152 2023 року науково дослідницького центру «InterConf». Структура та обсяг роботи. Магістерська дисертація складається з вступу, п'яти розділів та висновків. У вступі подано загальну характеристику роботи, зроблено оцінку сучасного стану проблеми, обґрунтовано актуальність напрямку досліджень, сформульовано мету і задачі досліджень. У першому розділі розглянуто існуючі методи для аналізу рядкових констант, їхні особливості, недоліки та переваги. У другому розділі розглянуто основні моделі статичного аналізу коду на яких базується запропонований метод. У третьому розділі розглянуто основні положення запропонованого методу. У четвертому розділі наведена програмна реалізація системи статичного аналізу коду, що базується на моделях описаних у другому розділі, а також реалізація аналізу згортки рядкових констант у мові Java на основі розробленого методу. У п'ятому розділі наведено опис системи для оцінки ефективності запропонованого методу на основі його програмної реалізації, а також здійснено порівняльний аналіз з існуючим методами аналізу рядкових констант. У висновках представлені результати проведеної роботи. Робота представлена на 91 аркушах, містить 3 додатки та посилання на список використаних літературних джерел.100 с.ukстатичний аналіззгортка константstatic analysisconstants foldingMaster Thesis004.02