Детальная информация

Название Применение статического анализа для поиска ошибок в исходном коде программного обеспечения: выпускная квалификационная работа бакалавра: направление 10.03.01 «Информационная безопасность» ; образовательная программа 10.03.01_03 «Безопасность компьютерных систем»
Авторы Берейчук Дарья Александровна
Научный руководитель Павленко Евгений Юрьевич
Организация Санкт-Петербургский политехнический университет Петра Великого. Институт кибербезопасности и защиты информации
Выходные сведения Санкт-Петербург, 2023
Коллекция Выпускные квалификационные работы ; Общая коллекция
Тематика статический анализ ; поиск уязвимостей ; безопасный код ; переполнение буфера ; static analysis ; vulnerability serch ; secure code ; buffer overflow
Тип документа Выпускная квалификационная работа бакалавра
Тип файла PDF
Язык Русский
Уровень высшего образования Бакалавриат
Код специальности ФГОС 10.03.01
Группа специальностей ФГОС 100000 - Информационная безопасность
DOI 10.18720/SPBPU/3/2023/vr/vr23-1860
Права доступа Доступ по паролю из сети Интернет (чтение)
Ключ записи ru\spstu\vkr\23191
Дата создания записи 27.07.2023

Разрешенные действия

Действие 'Прочитать' будет доступно, если вы выполните вход в систему или будете работать с сайтом на компьютере в другой сети

Группа Анонимные пользователи
Сеть Интернет

Целью работы является выявление дефектов в исходном коде программного обеспечения с использованием статического анализатора в соответствии с интеграцией в CI/CD. Предметом исследования являются методы статического анализа, применяемые в анализаторе Svace и принципы автоматизации в технологии CI/CD. Задачи, решаемые в ходе исследования: 1. Провести аналитическое исследование существующих подходов к проведению статического анализа для поиска программных дефектов; 2. Проанализировать существующие ошибки и уязвимости, которые могут быть найдены анализатором. 3. Провести анализ существующих готовых решений. 4. Изучить принцип работы статического анализатора Svace. 5. Разработать систему выявления дефектов исходного кода статическими анализаторами, интегрированную в CI/CD. В ходе работы была исследована архитектура и реализация анализатора Svace. Были проанализированы механизмы работы CI/CD. В результате была разработана система выявления дефектов исходного кода статическими анализаторами, интегрированная в CI/CD. Полученные результаты могут быть использованы в образовательных учреждениях для проверок работ студентов. Активно применяться в организациях для контроля качества исходных кодов.

The purpose of the work is to identify defects in the source code of the soft-ware using a static analyzer in accordance with the integration into CI/CD. The subject of the study is the methods of static analysis used in the Svace ana-lyzer and principles of automation in CI/CD technologies. The research set the fol-lowing goals: 1. To conduct an analytical study of existing approaches to static analysis to search for software defects; 2. Analyze existing errors and vulnerabilities that can be found by the ana-lyzer. 3. Analyze existing ready-made solutions. 4. To study the principle of operation of the Svace static analyzer. 5. Develop a system for detecting source code defects with static analyzers integrated in CI/CD. During the work the architecture and implementation of the Svace analyzer were investigated. The mechanisms of CI/CD operation were analyzed. As a result, a system for detecting source code defects by static analyzers inte-grated into CI/CD was developed. The results obtained can be used in educational institutions for checking stu-dents work. Actively used in organizations to control the quality of source codes.

Место доступа Группа пользователей Действие
Локальная сеть ИБК СПбПУ Все
Прочитать
Интернет Авторизованные пользователи СПбПУ
Прочитать
Интернет Анонимные пользователи

Количество обращений: 20 
За последние 30 дней: 2

Подробная статистика