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