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

Question

Fortify указывает, что это выходит за границы чтения:

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

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

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

Answer 1

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

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

Цитирование C11, глава §7.24.4.4 (курсив мой)

int strncmp(const char *s1, const char *s2, size_t n); 

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

Answer 2

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

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

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

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

Answer 3

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

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

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

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