Наличие эксплуатируемых дефектов безопасности в программном обеспечении влечет за собой репутационные и финансовые потери. Из-за потенциально большого количества дефектов в программных продуктах необходимо определять приоритет исправления каждого обнаруженного дефекта. В докладе рассмотрен алгоритм оценки эксплуатируемости дефектов программного обеспечения с использованием символьного анализа.

Челпанов А.Д. (науч. рук. Югансон А.Н.) Алгоритм оценки эксплуатируемости дефектов безопасности программного обеспечения с использованием символьного выполнения // Сборник тезисов докладов конгресса молодых ученых. Электронное издание. – СПб: Университет ИТМО, [2021]. URL: https://kmu.itmo.ru/digests/article/7319