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

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

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

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

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

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