Безопасный компилятор SAFEC

Код на языках Си и C++ может содержать конструкции с неопределённым поведением (НП) и другие ошибки. Результирующая программа может иметь непредсказуемое поведение при определённых входных данных, в том числе содержать эксплуатируемые уязвимости. Эти дефекты могут оставаться незамеченными или проявиться при обновлении компилятора или переходе на другую процессорную архитектуру.

Обычные компиляторы не дают гарантий о поведении программы, содержащей конструкции с неопределённым поведением.

• Компилятор транслирует программу в предположении об отсутствии в ней НП.
• Фактическое поведение может отличаться для разных версий компилятора, либо при компиляции под разные платформы.
• Во время оптимизаций эффекты от непределённого поведения могут распространяться неограниченно, даже межпроцедурно.
• Пользователь не получает предупреждений о таком поведении оптимизирующих преобразований.

Безопасный компилятор:

• Предсказуемым образом транслирует конструкции с неопределённым поведением.
• Не выполняет небезопасных оптимизаций конструкций с НП.
• Выдаёт предупреждения о небезопасном коде на этапе трансляции.
• Снижает степень потенциальной угрозы безопасности через встраивание проверок (hardening, санитайзеры).

Безопасный компилятор предоставляет готовые профили функций безопасности, соответствующие требованиям ГОСТ Р 71206-2024 к безопасному компилятору третьего, второго и первого классов.

Смотрите также страницу безопасного компилятора в сборнике технологий ИСП РАН: ispras.ru/technologies/safecomp.