Mischenko24mar26

Докладчики: Станислав Мищенко магистрант СПбГУ Тема: Реферат статьи Detecting Vector Container Errors in C Programs via Abstract Interpretation Liu et al.
2026 ICFM-2024 Аннотация: Данная работа посвящена применению техник статического анализа для решения задачи обнаружения обращений за приделами памяти и проверки инвалидации итераторов в конкретном случае контейнера std::vector из стандартной библиотеки C который является динамическим массивом и его итераторов.
Предложенное решение IKOS4VecErr основанное на IKOS фокусируется на 5 распространённых видах ошибок и превосходит существующие решения по эффективности.

Источник: rutube.ru