Во вторник 24 марта 2026 г. пройдет семинар "Теоретическое и экспериментальное программирование" (Руководитель: к.ф.-м.н., с.н.с. Гаранина Н.О., соруководители: к.ф.-м.н., н.с. Кондратьев Д.А., к.ф.-м.н., с.н.с. Ануреев И.С., секретарь: к.ф.-м.н. Шилов Н.В.).
Время проведения: 17.30-19.00 НСК (13.30-15.00 МСК) очно в к. 239 ИСИ СО РАН и онлайн по ссылке.
Анонсы, слайды докладов и другая информация будут доступны в группе телеграм.
Докладчик: Станислав Мищенко (магистрант СПбГУ)
Тема: Реферат статьи Detecting Vector Container Errors in C++ Programs via Abstract Interpretation" (Liu et al., 2026)
Данная работа посвящена применению техник статического анализа для решения задачи обнаружения обращений за приделами памяти и проверки инвалидации итераторов в конкретном случае контейнера std::vector из стандартной библиотеки C++, который является динамическим массивом, и его итераторов. Предложенное решение IKOS4VecErr, основанное на IKOS, фокусируется на 5 распространённых видах ошибок и превосходит существующие решения по эффективности.