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

Гупало А.В. (науч. рук. Ищенко А.П.) Определение уязвимых методов для выполнения проверок достижимости в рамках композиционного анализа программного обеспечения // Сборник тезисов докладов конгресса молодых ученых. Электронное издание. – СПб: Университет ИТМО, [2026]. URL: https://kmu.itmo.ru/digests/article/17449