Защита информации. Разработка безопасного программного обеспечения. Безопасный компилятор языков С/С++. Общие требования : ГОСТ 71206-2024 : национальный стандарт Российской Федерации : утвержден и введен в действие Приказом Федерального агентства по техническому регулированию и метрологии от 18 января 2024 г. N 24-ст : введен впервые : дата введения 2024-04-01

03972cam a2200289 i 4500

013542440

20250325112000.0

250324s2025 ru 000 | rus|d

##
$a: КН-П-25-016682
$b: RuMoRGB

##
$a: RuMoRKP
$b: rus
$d: RuMoRGB

##
$a: rus

##
$a: ru

##
$a: 004.438(083.74)

##
$a: 32.973.2я86

##
$a: Защита информации. Разработка безопасного программного обеспечения. Безопасный компилятор языков С/С++. Общие требования
$b: ГОСТ 71206-2024 : национальный стандарт Российской Федерации : утвержден и введен в действие Приказом Федерального агентства по техническому регулированию и метрологии от 18 января 2024 г. N 24-ст : введен впервые : дата введения 2024-04-01
$c: разработан: Институт системного программирования имени В. П. Иванникова Российской академии наук

##
$a: Переизд. февр. 2025

##
$a: Москва
$b: Российский институт стандартизации
$c: 2025
$e: Москва

##
$a: IV, 14 с.
$c: 29 см.

##
$a: Текст (визуальный)

##
$a: непосредственный

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

#1
$a: Компьютеры персональные
$x: Программное обеспечение
$x: Стандарты

#1
$a: Компьютеры персональные
$x: Обеспечение сохранности данных
$x: Стандарты

#1
$a: Программирования языки
$x: Стандарты

#1
$a: Компиляторы
$x: Стандарты

##
$a: РГБ
$b: FB
$x: 70