char buf[$10$]; strcpy(buf, user_input);
Какие проблемы (безопасность и корректность)
- Переполнение буфера (buffer overflow)
- strcpy копирует до первого '\0' в source, не проверяя размер dst. Если длина user_input ≥ $10$, запись выйдет за границы массива buf → неопределённое поведение, повреждение соседних данных/метаданных стека/кучи.
- Практические риски: крах программы, перезапись адреса возврата → выполнение произвольного кода, ROP-атаки, повышение привилегий, обход защиты.
- Ошибка длины (off‑by‑one)
- Для строки длины $9$ символов требуется буфер размера $10$ (последний байт — NUL). Неправильный расчёт границ легко приводит к ошибке.
- Источник без завершающего NUL
- Если user_input не содержит '\0' (например, данные из fread), strcpy будет читать память дальше до случайного '\0' → переполнение/UB.
- Модификация данных и нарушение инвариантов
- Перезапись переменных/флагов в кадре стека или метаданных аллокатора, приводящая к corruption, use-after-free и т.д.
- Тишина ошибки / потеря данных
- strcpy не сигнализирует о проблеме; баги проявляются как крахи в непредсказуемых местах, сложны для отладки.
- Портируемость/взаимодействие с кодировками
- Многобайтовые кодировки (UTF‑8) не влияют на strcpy напрямую, но логика «символов» vs «байтов» может вводить ошибки при ограничениях по длине.
Безопасные альтернативы (с объяснением поведения)
1) Использовать strlcpy (где доступно)
- Код: strlcpy(buf, user_input, sizeof buf);
- Поведение: копирует не более $sizeof(buf)-1$ байт, всегда добавляет '\0'. Возвращает полную длину source; если возвращённое значение ≥ $sizeof(buf)$, было усечение.
- Плюсы: простая замена, явное обнаружение усечения. Минус: не стандарт C (BSD / некоторые платформы).
2) Использовать snprintf
- Код: snprintf(buf, sizeof buf, "%s", user_input);
- Поведение: гарантированно NUL‑терминирует (если sizeof > $0$), возвращает число байт, которое пытался записать; если возвращение ≥ $sizeof(buf)$ — усечение.
- Плюсы: стандартный C, предсказуемая семантика.
3) Использовать strncpy с явной терминацией (если strlcpy недоступен)
- Код:
size_t max = sizeof buf;
strncpy(buf, user_input, max - $1$);
buf[max - $1$] = '\0';
- Поведение: гарантирует NUL в конце; отмечу, что strncpy сама по себе имеет подвохи (паддинг нулями), поэтому нужно принудительно ставить '\0'.
- Минус: легко ошибиться с индексами; менее удобна, чем strlcpy/snprintf.
4) Проверка длины + явная обработка ошибки или выделение памяти
- Код:
size_t len = strnlen(user_input, SOME_LIMIT);
if (len >= sizeof buf) { /* обработать: ошибка или truncate */ }
else strcpy(buf, user_input);
- Или динамически:
size_t len = strlen(user_input);
char *dyn = malloc(len + $1$);
if (dyn) { memcpy(dyn, user_input, len + $1$); /* использовать и free */ }
- Поведение: либо отвергаете/обрезаете вход при превышении лимита, либо аллоцируете точно нужный размер. Минус динамики — возможна атака исчерпания памяти, нужно лимитировать len.
5) Читать данные безопасно (если источник stdin)
- fgets(buf, sizeof buf, stdin);
- Поведение: считывает максимум $sizeof(buf)-1$ байт и ставит '\0'; сохраняет '\n' если помещается. Позволяет избежать memcpy из уже существующей длинной строки.
6) Использовать более безопасные абстракции (рекомендуется)
- В C++ — std::string; в библиотеке — безопасные типы (GString, wzstring и т.п.). Поведение: автоматическое управление размером, меньше риска переполнений.
Дополнительные меры защиты
- Компиляция с защитами: -fstack-protector, ASLR, DEP (NX), Fortify Source.
- Тестирование: ASan, UBSan, fuzzing.
- Логика: не доверять внешним данным; заранее ограничивать максимальную длину.
Короткий практический совет
- Если нужно просто безопасно поместить user_input в buf: используйте snprintf(buf, sizeof buf, "%s", user_input) или strlcpy(buf, user_input, sizeof buf) и проверяйте возврат на усечение.
- Если нельзя терять данные — выделяйте буфер по длине с разумным лимитом и проверяйте ошибки malloc.
(Основная причина проблемы — отсутствие проверки размера при копировании; решения либо ограничивают копируемое количество и явно обрабатывают усечение, либо выделяют достаточно памяти.)