Виявлення недекларованих можливостей Андроїд-застосунків методом LLM-керованої перевірки гіпотез: формальна модель

Скорочена інформація про документ
dc.contributor.authorКригін, Д. О.
dc.contributor.authorІльїн, М. І.
dc.date.accessioned2026-05-27T14:58:00Z
dc.date.available2026-05-27T14:58:00Z
dc.date.issued2026
dc.description.abstractУ процесі пошуку недекларованих можливостей у програмному забезпеченні постановка та перевірка гіпотез --- систематичний збір доказів на користь або проти потенційно наявного недекларованого функціоналу --- є найбільш часозатратним етапом аналітичного процесу. У цій статті пропонується гібридна модель аналізу, в якій велика мовна модель (LLM) виступає як автоматизований тестувальник гіпотез: аналітик формулює гіпотези вразливостей або їх ланцюжків природною мовою, а LLM-агент перетворює кожний із них на стратегію збору доказів, проводить аналіз програмного застосунку для збагачення контексту та, на основі гіпотези і розширеного контексту, спростовує гіпотезу, створює Proof of Concept, що підтверджує її, або мутує для подальшого дослідження. Представлений підхід формалізовано за допомогою LTS (Labelled Transition System), поведінкових предикатів та скінченного автомата. Представлена модель дозволяє одному аналітику паралельно підтримувати та перевіряти десятки гіпотез, щодо наявного недекларованого функціоналу --- включно зі складними міждоменними ланцюжками вразливостей та місконфігурацій, що охоплюють не лише Андроїд-застосунок і простір користувача, а архітектуру мобільного програмного забезпечення, включно з IoT та веб-технологіями, що не стає обмежувальним фактором у дослідженні. Дана гібридна модель дозволяє ефективно виконувати задачі, для яких раніше потребувалися команди з багатьох інженерів.
dc.format.pagerangeС. 248-252
dc.identifier.citationКригін, Д. О. Виявлення недекларованих можливостей Андроїд-застосунків методом LLM-керованої перевірки гіпотез: формальна модель / Д. О. Кригін, М. І. Ільїн // Теоретичні і прикладні проблеми фізики, математики та інформатики : матеріали XXIV Всеукраїнської науково-практичної конференції студентів, аспірантів та молодих вчених, [Київ], 13–16 травня 2026 р. / КПІ ім. Ігоря Сікорського. – Київ, 2026. – С. 248-252.
dc.identifier.urihttps://ela.kpi.ua/handle/123456789/81204
dc.language.isouk
dc.publisherКПІ ім. Ігоря Сікорського
dc.publisher.placeКиїв
dc.relation.ispartofТеоретичні і прикладні проблеми фізики, математики та інформатики : матеріали XXIV Всеукраїнської науково-практичної конференції студентів, аспірантів та молодих вчених, 13–16 травня 2026 р., м. Київ, Україна
dc.subjectLLM
dc.subjectбезпека Android
dc.subjectаналіз на основі гіпотез
dc.subjectдинамічне інструментування
dc.subjectланцюжок вразливостей
dc.subjectповедінковий предикат
dc.subjectFrida
dc.subject.udc004.056.5
dc.titleВиявлення недекларованих можливостей Андроїд-застосунків методом LLM-керованої перевірки гіпотез: формальна модель
dc.typeArticle

Файли

Контейнер файлів
Зараз показуємо 1 - 1 з 1
Ескіз
Назва:
(248-252)_SectionMathModels_Kryhin.pdf
Розмір:
661.95 KB
Формат:
Adobe Portable Document Format
Опис:
Full Text
Завантажити
Ліцензійна угода
Зараз показуємо 1 - 1 з 1
Ескіз недоступний
Назва:
license.txt
Розмір:
479 B
Формат:
Plain Text
Опис:
Завантажити

Зібрання

Теоретичні і прикладні проблеми фізики, математики та інформатики (24 ; 2026 ; Київ)