Valgrind Advertencia: Debería tomarlo en serio

Question

Antecedentes: Tengo una pequeña rutina que imita a fgets(character, 2, fp), excepto que toma un carácter de una cadena en lugar de una secuencia. newBuff se asigna dinámicamente a la cadena pasada como parámetro y el carácter se declara como char character[2].

rutina:

character[0] = newBuff[0]; 

character[1] = '\0'; 

strcpy(newBuff, newBuff+1); 

El strcpy replica la pérdida de información ya que cada personaje se lee de la misma.

Problema: Valgrind hace me advierte sobre esta actividad, "Origen y destino superposición en strcpy (0x419b818, 0x419b819)".

¿Debo preocuparme por esta advertencia?

Answer 1

Probablemente, el estándar no especifique qué sucede cuando estos búferes se superponen. Entonces sí, valgrind tiene razón en quejarse sobre esto.

En términos prácticos, lo más probable es encontrar que sus strcpy copias en orden de izquierda a derecha (por ejemplo. while (*dst++ = *src++);) y que no es un problema. Pero sigue siendo incorrecto y puede tener problemas cuando se ejecuta con otras bibliotecas de C.

Uno estándares correcta manera de escribir esto sería:

memmove(newBuff, newBuff+1, strlen(newBuff)); 

Debido memmove se define para manejar la superposición. (Aunque aquí terminaría atravesando la cuerda dos veces, una para verificar la longitud y otra para copiar. También tomé un atajo, ya que strlen(newBuff) debería ser igual a strlen(newBuff+1)+1, que es lo que originalmente escribí)

Answer 2

El comportamiento de strcpy() es oficialmente indefinido si el origen y el destino se superponen.

Desde la página del manual de establecimiento de memoria viene una sugerencia:

Los memcpy() copia n bytes del área de memoria a s2 s1 área de memoria. Si s1 y s2 se superponen, el comportamiento no está definido. Las aplicaciones en las que s1 y s2 podrían superponerse deberían usar memmove (3) en su lugar.

Answer 3

Sí, el comportamiento de strcpy solo se define si la fuente y el destino no se superponen. En su lugar, puede considerar una combinación de strlen y memmove.

Answer 4

Sí, debes preocuparte. El estándar C establece que el comportamiento de strcpy es undefined cuando los objetos de origen y destino se superponen. Comportamiento no definido significa que puede funcionar a veces, o puede fallar, o puede parecer exitoso pero puede manifestar fallas en otras partes del programa.

Answer 5

Sí, y usted también debería preocuparle que su función tenga un rendimiento patológicamente malo (O(n^2) para una tarea que debería ser O(n)). Mover todo el contenido de la cadena por un personaje cada vez que lees un personaje es una gran pérdida de tiempo. En su lugar, solo debe mantener un puntero a la posición actual e incrementar ese puntero.

Situaciones en las que necesita memmove o su equivalente (copia entre búferes que se superponen) casi siempre indican un error de diseño. A menudo no es solo un defecto en la implementación, sino en la interfaz .

Answer 6

La respuesta es sí: con ciertas implementaciones de compilador/biblioteca, las más recientes, supongo, terminarás con un resultado falso. Vea How is strcpy implemented? para un ejemplo.