Статический анализ программного кода для предотвращения его непредвиденного поведения: дипломная работа / Александра Алексеевна Пашко; БГУ, Факультет прикладной математики и информатики, Кафедра технологий программирования; науч. рук. Войтешенко И. С.

Abstract

В работе изучаются основные понятия, связанные со статическим анализом программного кода, задачи статического анализа, демонстрируются возможности статического анализатора PVS-Studio. Были исследованы проблемы безопасности, которые можно решить с помощью статического анализа и создано приложение, которое выявляет несколько типов уязвимостей по принципу статического анализатора.