sprintf_s con un búfer demasiado pequeño

Question

El siguiente código provoca un error y mata mi aplicación. Tiene sentido ya que el búfer tiene solo 10 bytes de longitud y el texto tiene 22 bytes de longitud (desbordamiento de búfer).

char buffer[10];  
int length = sprintf_s(buffer, 10, "1234567890.1234567890."); 

¿Cómo puedo detectar este error para poder informarlo en lugar de bloquear mi aplicación?

Editar:

Después de leer los comentarios a continuación Fui con _snprintf_s. Si devuelve un valor -1, entonces el búfer no se actualizó.

length = _snprintf_s(buffer, 10, 9, "123456789"); 
printf("1) Length=%d\n", length); // Length == 9 

length = _snprintf_s(buffer, 10, 9, "1234567890.1234567890."); 
printf("2) Length=%d\n", length); // Length == -1 

length = _snprintf_s(buffer, 10, 10, "1234567890.1234567890."); 
printf("3) Length=%d\n", length); // Crash, it needs room for the NULL char 

Answer 1

En lugar de sprintf_s, puede usar snprintf (a.k.a _snprintf en windows).

#ifdef WIN32 
#define snprintf _snprintf 
#endif 

char buffer[10];  
int length = snprintf(buffer, 10, "1234567890.1234567890."); 
// unix snprintf returns length output would actually require; 
// windows _snprintf returns actual output length if output fits, else negative 
if (length >= sizeof(buffer) || length<0) 
{ 
    /* error handling */ 
} 

Answer 2

De MSDN:

La otra diferencia principal entre sprintf_s y sprintf es que sprintf_s toma un parámetro de longitud que especifica el tamaño de la memoria intermedia de salida en caracteres. Si el búfer es demasiado pequeño para el texto que se está imprimiendo, el búfer se establece en una cadena vacía y se invoca el controlador de parámetros no válido. A diferencia de snprintf, sprintf_s garantiza que el búfer tendrá terminación nula (a menos que el tamaño del búfer sea cero).

Por lo tanto, idealmente lo que ha escrito debe funcionar correctamente.

Answer 3

Parece que está escribiendo en MSVC de algún tipo?

Creo que los documentos de MSDN para sprintf_s dicen que se muere, por lo que no estoy muy seguro de poder detectarlo mediante programación.

Como sugirió LBushkin, es mucho mejor que utilices clases que administren las cadenas.

Answer 4

Es por diseño. El punto completo de sprintf_s y otras funciones de la familia *_s es capturar los errores de desbordamiento del búfer y tratarlos como violaciones de condiciones previas. Esto significa que en realidad no están destinados a ser recuperables. Esto está diseñado para detectar solo errores: no debe llamar al sprintf_s si sabe que la cadena puede ser demasiado grande para un búfer de destino. En ese caso, primero use strlen para verificar y decidir si necesita recortar.

Answer 5

Consulte la sección 6.6.1 de TR24731 que es la versión ISO C Committee de la funcionalidad implementada por Microsoft. Proporciona funciones set_constraint_handler(), abort_constraint_handler() y ignore_constraint_handler() funciones.

Hay comentarios de Pavel Minaev que sugieren que la implementación de Microsoft no cumple con la propuesta TR24731 (que es un 'Informe técnico de tipo 2'), por lo que es posible que no pueda intervenir, o puede que tenga que hacer algo diferente de lo que indica TR debe hacerse. Para eso, escudriña MSDN.

Answer 6

Esto funciona con VC++ y es aún más seguro que snprintf (y ciertamente más seguro que _snprintf):

bandera

void TestString(const char* pEvil) 
{ 
    char buffer[100]; 
    _snprintf_s(buffer, _TRUNCATE, "Some data: %s\n", pEvil); 
} 

El _TRUNCATE indica que la cadena debe ser truncado. De esta forma, el tamaño del búfer no se transfiere realmente, lo que (¡paradójicamente!) es lo que lo hace tan seguro. El compilador utiliza magia de plantilla para inferir el tamaño del búfer lo que significa que no se puede especificar incorrectamente (un error sorprendentemente común). Esta técnica se puede aplicar para crear otras envolturas de cuerdas seguras, como se describe en la publicación de mi blog aquí: https://randomascii.wordpress.com/2013/04/03/stop-using-strncpy-already/