ГОСТ Р 71206-2024

Обозначение

ГОСТ Р 71206-2024

Заглавие на русском языке

Защита информации. Разработка безопасного программного обеспечения. Безопасный компилятор языков С/С++. Общие требования

Заглавие на английском языке

Information protection. Secure software development. Safe C/C++ compiler. General requirements

Дата введения в действие

01.04.2024

ОКС

35.020

Аннотация (область применения)

Настоящий стандарт устанавливает общие требования к безопасному компилятору программ на языках С и С++ (стандарты [1] и [2] соответственно). Целью работы безопасного компилятора является не вносить в бинарный код программы ошибки, которых не было в исходном коде программы и которые могут появиться в ходе компиляции, в том числе в ходе выполнения оптимизаций кода программы. Настоящий стандарт задает требования к динамической компоновке и загрузке программ, выполнение которых необходимо для поддержки ряда возможностей безопасного компилятора. Настоящий стандарт уточняет требования к мерам по разработке безопасного программного обеспечения, реализуемые при выполнении конструирования и комплексирования программного обеспечения, в части требований к используемым инструментальным средствам (безопасному компилятору). Настоящий стандарт определяет требования к функциям безопасного компилятора и задает нефункциональные требования к безопасному компилятору, задает требования к методике проверки требований к безопасному компилятору

Ключевые слова

защита информации, безопасное программное обеспечение, статический анализ, безопасный компилятор языков С/С++, оптимизация кода программы, динамическая компоновка, загрузка программ

Термины и определения

Раздел стандарта

Вид стандарта

2 - Стандарты на процессы

Нормативные ссылки на: ГОСТ

Управление Ростехрегулирования

1 - Управление стандартизации

Количество страниц (оригинала)

20

Организация - Разработчик

Федеральное государственное бюджетное учреждение науки Институт системного программирования имени В.П. Иванникова Российской академии наук (ИСП РАН)

Статус

Действует

Код цены

3