Что не так с strcmp?

Хотя strncmp может предотвратить переполнение буфера, его основная цель не безопасность. Скорее, он существует для случая, когда нужно сравнить только первые N символов строки (правильно возможно заканчивающейся NUL).

На справочной странице:

Функция strcmp() сравнивает две строки s1 и s2. Он возвращает целое число, меньшее, равное или большее нуля, если найдено, что s1 соответственно меньше, соответствует или больше s2.

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

Обратите внимание, что strncmp в этом случае нельзя заменить простым memcmp, потому что вам все равно нужно воспользоваться его поведением остановки при NUL, если одна из строк короче n.

Если strcmp вызывает переполнение буфера, то верно одно из двух:

1. Ожидается, что ваши данные не будут заканчиваться NUL, и вместо этого вы должны использовать memcmp.
2. Ожидается, что ваши данные будут завершаться NUL, но вы уже облажались при заполнении буфера, каким-то образом не завершая его NUL.

Обратите внимание, что чтение после конца буфера по-прежнему считается переполнением буфера. Хотя это может казаться безобидным, это может быть так же опасно, как написание после конца.

Читать, писать, исполнять... не важно. Любая ссылка памяти на непредусмотренный адрес является поведением undefined. В наиболее очевидном сценарии вы пытаетесь получить доступ к странице, которая не сопоставлена ​​с адресным пространством вашего процесса, что приводит к ошибке страницы и последующему SIGSEGV. В худшем случае вы иногда сталкиваетесь с байтом \0, но иногда вы сталкиваетесь с каким-то другим буфером, вызывая непостоянное поведение программы.

Строка по определению представляет собой «непрерывную последовательность символов, заканчивающуюся первым нулевым символом и включающую его».

Единственный случай, когда strncmp() будет безопаснее, чем strcmp(), это когда вы сравниваете два символьных массива как строки, вы уверены, что оба массива имеют длину не менее n байт (третий аргумент передается в strncmp()), и вы не уверен, что оба массива содержат строки (т. е. содержат '\0' нулевой символ конца).

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

Добавление n в strncmp() не является волшебной палочкой, которая делает небезопасный код безопасным. Он не защищает от нулевых указателей, неинициализированных указателей, неинициализированных массивов, неправильного значения n или просто передачи неверных данных. Вы можете выстрелить себе в ногу с любой функцией.

И если вы пытаетесь вызвать strcmp или strncmp с массивом, который, как вы думали, содержит строку с завершающим нулем, но на самом деле это не так, то в вашем коде уже есть ошибка. Использование strncmp() может помочь вам избежать немедленных симптомов этой ошибки, но не исправит ее.

strcmp сравнивает две строки посимвольно до тех пор, пока не будет обнаружено различие или не будет найдено \0 в одной из них.

С другой стороны, strncmp позволяет ограничить количество сравниваемых символов, поэтому, если строки не заканчиваются на \0, функция не будет продолжать проверку после достижения предела размера.

Представьте, что произойдет, если вы сравниваете две строки в этих двух областях памяти:

0x40, 0x41, 0x42,... 0x40, 0x41, 0x42,...

И вас интересуют только два первых символа. Каким-то образом \0 было удалено из конца строк, а третий байт совпадает в двух областях. strncmp не будет сравнивать этот третий байт, если параметр num равен 2.

EDIT Как показывают комментарии ниже, эта ситуация возникла из-за неправильного или очень конкретного использования языка.