- Об институте
- Инновации
- Структура
- Отдел "Архитектуры вычислительных систем"
- Отдел "Информационных систем"
- Отдел "Компиляторных технологий"
- Отдел "Системного программирования"
- Отдел "Системной интеграции и прикладных программных комплексов"
- Отдел "Теоретической информатики"
- Отдел "Технологий программирования"
- Ученый совет
- Диссертационный совет
- Центр верификации ОС Linux
- Центр исследований безопасности системного ПО
- Исследовательский центр доверенного искусственного интеллекта
- Центр компетенции по параллельным и распределенным вычислениям
- Орган по сертификации
- Центр коллективного пользования ИСП РАН
- Образование
- Издания
- Новости
- Лицензии
Препринт ИСП РАН 32, 2019 г.
Новости
11 Июля, 2026
Защита диссертаций
Препринт ИСП РАН 33, 2026 г.
А.Ю. Климов, А.В. Монаков, В.А. Иванишин, Д.М. Мельник. Динамическое обнаружение зависимости от порядка вычислений в программах на Си. Стр. 1-50
Аннотация
В работе предложена модель обнаружения зависимости от порядка вычислений подвыражений в программах на языке Си. Модель представляет отношение sequenced-before стандарта C11 в виде иерархической структуры, допускающей эффективный поиск неупорядоченных и неопределённо-упорядоченных модификаций во время исполнения. Программная реализация модели в виде санитайзера для GCC произвела срабатывания на 139 из 4526 пакетов Alpine Linux 3.23, преимущественно фиксируя неопределённо-упорядоченные вычисления.
На нашем сайте мы используем cookie файлы, содержащие информацию о предыдущих посещениях веб-сайта. Данные обрабатываются для улучшения качества работы нашего веб-сайта. Если вы не хотите использовать cookie файлы, измените настройки браузера.
Понятно