Модифікований метод статичного аналізу коду для рішення задачі згортки рядкових констант
Вантажиться...
Дата
2023
Автори
Науковий керівник
Назва журналу
Номер ISSN
Назва тому
Видавець
КПІ ім. Ігоря Сікорського
Анотація
Актуальність теми. Рядки широко використовуються в сучасних мовах програмування, зокрема у рядкових літералах для надання інформації користувачу, у програмах обробки текстів, у програмах, що використовують рефлексію тощо. Тому розробка спеціальних методів статичного аналізу для задачі згортки рядкових констант є актуальною і важливою задачею, як з наукової, так і з практичної точки зору.
Об’єктом дослідження є процес згортки рядкових констант програми.
Предметом дослідження є методи статичного аналізу для рішення задачі згортки рядкових констант.
Мета роботи: прискорення процесу згортки рядкових констант програми; розробка більш швидкого методу чи модифікованого методу згортки рядкових констант програми.
Наукова новизна полягає у наступному.
1. Вперше запропоновано модифікований метод згортки рядкових констант, який полягає у анотуванні пропагованих значень додатковою інформацією, аналіз якої дозволяє не здійснювати конкатенацію значень, які не можуть існувати разом під час реального виконання програми, відрізняється від існуючих використанням вкладеної хеш-таблиці в якості значень основної хеш-таблиці замість структури даних типу «множина» та модифікованої трансферної функції і дозволяє зменшити розмір проміжних результатів аналізу потоку даних, завдяки чому зменшується складність алгоритмів, що використовуються, тим самим покращуючи швидкість і точність згортки рядкових констант програми.
2. Вперше виконано порівняльний аналіз розробленого модифікованого методу із стандартним методом і показано ефективність запропонованого модифікованого методу.
Практична цінність отриманих в роботі результатів полягає в тому, що запропонований модифікований метод дає змогу використати його у більшій кількості застосунків, ніж стандартний метод, в яких треба визначити повну множину рядків, що використовуються в програмі, але наявні методи не можуть бути ефективно використані через їх незадовільну швидкодію.
Апробація роботи. Основні положення роботи були представлені у випуску №50 2023 року наукового фахового журналу «Комп'ютерно-інтегровані технології: освіта, наука, виробництво». Порівняльний аналіз розробленого методу з існуючими був представлений у випуску №152 2023 року науково дослідницького центру «InterConf».
Структура та обсяг роботи. Магістерська дисертація складається з вступу, п'яти розділів та висновків.
У вступі подано загальну характеристику роботи, зроблено оцінку сучасного стану проблеми, обґрунтовано актуальність напрямку досліджень, сформульовано мету і задачі досліджень.
У першому розділі розглянуто існуючі методи для аналізу рядкових констант, їхні особливості, недоліки та переваги.
У другому розділі розглянуто основні моделі статичного аналізу коду на яких базується запропонований метод.
У третьому розділі розглянуто основні положення запропонованого методу.
У четвертому розділі наведена програмна реалізація системи статичного аналізу коду, що базується на моделях описаних у другому розділі, а також реалізація аналізу згортки рядкових констант у мові Java на основі розробленого методу.
У п'ятому розділі наведено опис системи для оцінки ефективності запропонованого методу на основі його програмної реалізації, а також здійснено порівняльний аналіз з існуючим методами аналізу рядкових констант.
У висновках представлені результати проведеної роботи.
Робота представлена на 91 аркушах, містить 3 додатки та посилання на список використаних літературних джерел.
Опис
Ключові слова
статичний аналіз, згортка констант, static analysis, constants folding
Бібліографічний опис
Касянчук, Д.П. Модифікований метод статичного аналізу коду для рішення задачі згортки рядкових констант : магістерська дис. : 123 Комп’ютерна інженерія / Касянчук Дмитро Павлович. – Київ, 2023. – 100 с.