Просматривает ли это использование strncmp за пределами границ?

Fortify указывает, что это за пределами чтения:

if (strncmp("test string", "less than 32 char", 32) == 0)
{
...
}

В нем говорится, что функция считывает данные из-за пределов less than 32 char.

Есть ли на самом деле вывод, если strncmp выходит за пределы 32 символов, а вторая строка меньше 32 символов?

Ответ 1

TL; DR - strncmp() будет продолжать сравнивать строковые элементы, пока не закончится ни строка, ни 32 элемента (символы), в зависимости от того, что меньше.

Строка

A (ny) всегда заканчивается на нуль и при столкновении с нулевым терминатором дальнейшее сравнение не выполняется. Ваш код в безопасности.

Цитата C11, глава §7.24.4.4 (выделение мое)

int strncmp(const char *s1, const char *s2, size_t n);
Функция strncmp сравнивает не более n символов (символы, следующие за нулевой символ не сравниваются) из массива, на который указывает s1, на массив, на который указывает на s2.

Ответ 2

По соображениям производительности реализации стандартных строковых функций часто обрабатывают данные в естественно выровненных блоках ширины регистров. Это может привести к доступу чтения к концу исходных объектов данных, но выравнивание гарантирует, что код ведет себя точно так же, как наивная реализация в отношении исключений памяти. Каждый широкий доступ содержится в одной странице, и никакие страницы не затрагиваются, что также не затрагивается байт-мудрой реализацией.

Я бы утверждал, что такие реализации покрываются правилом C as-if, то есть они ведут себя так же, как если бы они выполняли абстрактные функциональные спецификации.

Примером такой оптимизированной реализации будет OpenSolaris strcmp() для SPARC v8. Это код, который я написал пятнадцать лет назад, а также другие строковые функции, оптимизированные по производительности.

Различные инструменты проверки памяти будут жаловаться на такой код, однако, поскольку его использование может привести к доступу за пределы выделенного объекта данных, даже несмотря на то, что доступ к чтению вне границ безвреден по дизайну.

Ответ 3

У вас есть действительно действующий код.

Либо ваш компилятор генерирует плохой код объекта, либо fortify сообщает о ложном срабатывании.

Я сомневаюсь, что это компилятор, создающий плохой код. Это создаст слишком много проблем и будет обнаружено и исправлено в кратчайшие сроки.

Скорее всего, fortify сообщает о ложном срабатывании.