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