РАГС - РОССИЙСКИЙ АРХИВ ГОСУДАРСТВЕННЫХ СТАНДАРТОВ, а также строительных норм и правил (СНиП)
и образцов юридических документов
Произвольная ссылка:
ГОСТ Р 71206-2024
Защита информации. Разработка безопасного программного обеспечения. Безопасный компилятор языков С/С++. Общие требования
Обозначение:
ГОСТ Р 71206-2024
Статус:
действующий
Тип:
ГОСТ Р
Название русское:
Защита информации. Разработка безопасного программного обеспечения. Безопасный компилятор языков С/С++. Общие требования
Название английское:
Information protection. Secure software development. Safe C/C++ compiler. General requirements
Дата актуализации текста:
01.06.2024
Дата актуализации описания:
01.06.2024
Дата регистрации:
00.00.0000
Дата издания:
07.02.2024
Дата введения в действие:
01.04.2024
Область и условия применения:
Настоящий стандарт устанавливает общие требования к безопасному компилятору программ на языках С и С++ (стандарты [1] и [2] соответственно). Целью работы безопасного компилятора является не вносить в бинарный код программы ошибки, которых не было в исходном коде программы и которые могут появиться в ходе компиляции, в том числе в ходе выполнения оптимизаций кода программы. Настоящий стандарт задает требования к динамической компоновке и загрузке программ, выполнение которых необходимо для поддержки ряда возможностей безопасного компилятора. Настоящий стандарт уточняет требования к мерам по разработке безопасного программного обеспечения, реализуемые при выполнении конструирования и комплексирования программного обеспечения, в части требований к используемым инструментальным средствам (безопасному компилятору). Настоящий стандарт определяет требования к функциям безопасного компилятора и задает нефункциональные требования к безопасному компилятору, задает требования к методике проверки требований к безопасному компилятору