Почему MSVC++ считает std::strcat небезопасным? (С++)

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

strcat_s решает эту проблему, заставляя вас передавать длину буфера, в который вы копируете строку; при необходимости он усекает строку, чтобы убедиться, что буфер не переполнен.

google strcat_s, чтобы точно узнать, как его использовать.

Если вы используете С++, почему бы не избежать всего этого беспорядка и не использовать std::string. Тот же пример без ошибок будет выглядеть так:

std::string prefix = "Sector_Data\\sector";
prefix += "0";
prefix += "\\"

не нужно беспокоиться о размерах буферов и прочем. И если у вас есть API, который принимает const char *, вы можете просто использовать член .c_str();

some_c_api(prefix.c_str());

Вы можете избавиться от этих предупреждений, добавив:

_CRT_SECURE_NO_WARNINGS

и

_SCL_SECURE_NO_WARNINGS

к определениям препроцессора вашего проекта.

Это одна из функций обработки строк в C/C++, которая может привести к ошибкам переполнения буфера.

Проблема в том, что функция не знает размер буферов. Из документации MSDN:

Первый аргумент, strDestination, должен быть достаточно большим, чтобы содержать текущие strDestination и strSource вместе и закрывающий '\0'; в противном случае может произойти переполнение буфера.

strcat_s принимает дополнительный аргумент, указывающий размер буфера. Это позволяет ему проверять размеры перед выполнением concat и предотвращает переполнение. См. http://msdn.microsoft.com/en-us/library/d45bbxx4.aspx

Потому что у него нет возможности проверить, будет ли строка назначения (префикс) в вашем случае записана за ее пределами. По сути, strcat работает зацикливая, копируя байт за байтом исходную строку в место назначения. Он останавливается, когда видит значение «0» (обозначаемое как «\ 0»), называемое нулевым терминалом. Так как C не имеет встроенной проверки границ, а целевая строка — это просто место в памяти, strcat будет продолжать работать до бесконечности, даже если она минует исходную строку или целевую строку. str не имеет нулевого терминала.

Приведенные выше решения зависят от платформы вашей среды Windows. Если вы хотите что-то независимое от платформы, вам придется спорить с strncat:

strncat(char* dest, const char* src, size_t count)

Это еще один вариант, если использовать его с умом. Вы можете использовать count, чтобы указать максимальное количество символов для копирования. Для этого вам нужно выяснить, сколько места доступно в dest (сколько вы выделили — strlen(dest)) и передать это как count.

Чтобы отключить предупреждение, вы можете сделать это.

#pragma warning(disable:4996)

Кстати, я настоятельно рекомендую вам использовать strcat_s().

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

if(pDest+strlen(pDest)+strlen(pScr) < destSize)

Вы должны пройти по всей длине обеих строк, чтобы убедиться, что они подходят, прежде чем пройти по всей их длине СНОВА, чтобы сделать копию. Из-за этого многие программисты просто предположат, что он подойдет, и пропустят тест. Хуже того, может случиться так, что, когда код впервые написан, он ГАРАНТИРОВАНО подходит, но когда кто-то добавляет еще один strcat или меняет размер буфера или константу где-то еще в программе, у вас возникают проблемы.

Другая проблема заключается в том, что pSrc и pDst перекрываются. В зависимости от вашего компилятора, strcat вполне может быть простым циклом, который проверяет символ за раз на наличие 0 в pSrc. Если pDst перезапишет этот 0, вы попадете в цикл, который будет работать до тех пор, пока ваша программа не рухнет.