Куда я попал?
ГОСТ Р № 71207-2024 от 18.01.2024
Защита информации. Разработка безопасного программного обеспечения. Статический анализ программного обеспечения. Общие требования
Пример 4.
Для проведения оценки соответствия по документу войдите в систему.
Список требований
-
Пример 4.
Модельный вариант: А.2, перечисление 6)1), поточный вариант: 6.7, перечисление 5)4), и 6.7.1, перечисления а)1), 5)2.
#define SIZE 10
int buf[SIZE];
int status;
int getlndexO {
if (status)
return 7; // правильный индекс
else
return SIZE; // слишком большой индекс
}
int test2() {
int i = getlndexO;
buf[i]++; // ошибка
}
Мы используем cookie-файлы, чтобы получить статистику, которая помогает нам улучшить сервис для вас с целью персонализации сервисов и предложений. Вы может прочитать подробнее о cookie-файлах или изменить настройки браузера. Продолжая пользоваться сайтом, вы даёте согласие на использование ваших cookie-файлов и соглашаетесь с Политикой обработки персональных данных.