Статья

Казакова Е.С. (науч. рук. Логинов И.П.) Методы и средства статического анализа исходного кода
УДК тезиса: 004.45

Программные ошибки могут привести к сбоям программ и появлению в них уязвимостей. Для их поиска применяются техники статического и динамического анализа. В работе рассмотрены инструменты, выполняющие статический анализ программ на нескольких языках программирования, а также исследуется возможность применения методов статического анализа кода к промежуточному представлению программ уровня сред выполнения.

Авторы:

Казакова Евгения Сергеевна

Руководитель:

Логинов Иван Павлович

Казакова Е.С. (науч. рук. Логинов И.П.) Методы и средства статического анализа исходного кода // Сборник тезисов докладов конгресса молодых ученых. Электронное издание. – СПб: Университет ИТМО, [2020]. URL: https://kmu.itmo.ru/digests/article/3280