Strncat от Microsoft читает байты за пределами исходного буфера

В документации для strncat указано:

src — указатель на строку байтов с завершающим нулем, из которой нужно скопировать

Следовательно, реализация может предположить, что входной параметр src на самом деле завершается NUL, даже если он длиннее count символов.

Для дальнейшего подтверждения см. собственную документацию Microsoft. состояния:

источник строки

Исходная строка с завершающим нулем.

С другой стороны, фактический стандарт C гласит что-то вроде:

Функция strncat добавляет не более n символов (нулевой символ и символы, следующие за ним, не добавляются) из массива, на который указывает s2, в конец строки, на которую указывает s1.

Как указано в комментариях ниже, это идентифицирует второй параметр s2 как массив, а не строку с нулевым завершением. Однако это все еще неоднозначно по отношению к исходному вопросу, потому что эта документация описывает конечный эффект на s1, а не поведение функции при чтении из s2.

Конечно, это можно решить в отношении конкретной реализации Microsoft, ознакомившись с исходным кодом C Runtime Library.

s2 не является "строкой" в strncat(s1, s2, n).

Поэтому, если Microsoft считывает n байта передачи, это не соответствует C11.

C11 7.24.2.3.1 strcat() упоминает
«добавляет копию строки, на которую указывает s2 (включая завершающий нулевой символ), в конец строки, на которую указывает s1».

C11 7.24.2.3.2 strncat говорит
"Функция strncat добавляет не более n символов (нулевой символ и символы, следующие за ним, не добавляются) из массива, на который указывает s2, к конец строки, на который указывает s1. ... К результату всегда добавляется завершающий нулевой символ"

Ясно, что в случае strncat s2 рассматривается как "массив" со строковыми ограничениями на количество, добавляемое к s1. Таким образом, во время конкатенации нет необходимости проверять s2 больше, чем это абсолютно необходимо. Окончательное написанное \0 исходит из кода, а не s2.

Не знаю о более старом стандарте C99.

Английский — несовершенный язык, в большей степени, чем C.

В документации сказано "максимум n символов" (выделено мной). Нет никаких доказательств того, что strncat копирует более 112 символов. Что заставляет вас верить, что это так?

Код strncat может индексировать за пределами смещения 112, но фактически не ссылаться на смещение 113, что может вызвать ошибку хранения. Такое поведение ptr определено как приемлемое в K&R.

Наконец, опять же, это проблема английского языка/рассуждения, в документации, вероятно, говорится, что строка завершается нулем. Но на самом деле, разве не излишне говорить, что строка завершается нулем? Они по определению, иначе они были бы массивом символов. Таким образом, документация является расплывчатой ​​​​и неконкретной. Программисту остается читать между строк. Документация по программному обеспечению не является юридическим томом, это описания, предназначенные для понимания специалистом в данной области.