Препринт ИСП РАН 32, 2019 г.

Препринт ИСП РАН 33, 2026 г.

А.Ю. Климов, А.В. Монаков, В.А. Иванишин, Д.М. Мельник. Динамическое обнаружение зависимости от порядка вычислений в программах на Си. Стр. 1-50

Аннотация

В работе предложена модель обнаружения зависимости от порядка вычислений подвыражений в программах на языке Си. Модель представляет отношение sequenced-before стандарта C11 в виде иерархической структуры, допускающей эффективный поиск неупорядоченных и неопределённо-упорядоченных модификаций во время исполнения. Программная реализация модели в виде санитайзера для GCC произвела срабатывания на 139 из 4526 пакетов Alpine Linux 3.23, преимущественно фиксируя неопределённо-упорядоченные вычисления.

текст в формате pdf

Вернуться к архиву препринтов