Красиков Арсений Сергеевич

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

Языки для системного программирование, такие как C, предоставляют разработчикам возможность писать эффективный код, не определяя поведение некоторых конструкций и структур данных. К сожалению, иногда разработчики используют конструкции с неопределённым поведением непреднамеренно, что ведёт к ошибкам в итоговых программах. В данной статье поднимается проблема использования неопределённого поведения в коде на языке C стандарта C99, а также связанная с ним проблема оптимизационно-неопределённого поведения. Рассматриваются также современные подходы к поиску неопределённого и оптимизационно-нестабильного поведения.

В данной статье рассматривается проблема оптимизационно-нестабильного поведения, связанная с оптимизацией кода на языке программирования C, содержащего неопределённое поведение. Рассматривается общий подход для поиска оптимизационно-нестабильного поведения, появляющегося в результате оптимизации конструкций с неопределённым поведением. Разрабатываемый метод поиска оптимизационно-нестабильного поведения в языке C предназначен для использования в оптимизирующих компиляторах языка С стандарта C99. Метод представляет из себя статическое решение поиска создаваемых оптимизирующим компилятором оптимизационно-нестабильных поведений из-за использования программистом конструкций или данных с неопределённым поведением.