Моделі та методи аналізу потоків даних для перевірки безпеки Android-додатків

Abstract

Метою магістерської роботи є розроблення моделей і методів аналізу потоків даних у системі Android для підвищення точності та ефективності перевірки безпеки мобільних додатків. Об’єктом дослідження є процес забезпечення безпеки Android- додатків засобами статичного та гібридного аналізу програмного коду. Предметом дослідження є моделі та методи аналізу потоків даних у середовищі Android, що забезпечують виявлення уразливостей у структурі та поведінці мобільних додатків. Результати дослідження В роботі запропонувані методики інтеграції статичного та динамічного аналізу, яка підвищує точність визначення вразливостей та розроблено архітектури фреймворку статичного аналізу, що підтримує масштабованість і модульність у перевірці складних Android-додатків. Висновок Розроблено моделі та методи аналізу потоків даних, які підвищують ефективність виявлення вразливостей у мобільних додатках платформи Android.