Компилятор безопасный —
Компилятор, не вносящий в ходе компиляции в код про¬граммы бинарный ошибки, которых не было в коде программы исходном.
Примечание 1. Компилятор безопасный не удаляет ошибки, имеющиеся в коде программы исходном, а пытается избежать таких преобразований кода, в результате которых после окончания компиляции в результирующем коде программы бинарном появляются ошибки, которых не было в коде исходном. Безопасный компилятор может добавлять в ходе компиляции код бинарный, который обеспечивает защиту от выполнения неопределенных конструкций в ходе выполнения программы.
Примечание 2. Общеупотребительна практика называть компилятором C/C++ оболочку командную, выполняющую последовательность трансляций согласованных: препроцессирование, собственно компиляцию, ассемблирование, компоновку статическую. В связи с этим при необходимости, кроме требований к компилятору безопас¬ному, могут приводиться требования к соответствующим инструментальным средствам системы программи¬рования языков C/C++ [ ГОСТ Р 71206-2024 ].