¿Cuándo se inicializan las variables de const estático globales?

Question

Traté de buscar en el sitio para esta pregunta, pero no encontramos que esto exactamente, aunque este tema se está discutiendo mucho ...

que tienen esta declaración en un archivo CPP, no dentro de cualquier función:

static const char* gText = "xxxxxxxxxxx"; 

pesar de que tiene un tamaño fijo, recibo una advertencia de una herramienta de análisis estático (Klocwork) cuando estoy tratando de copiarlo en otra variable char * - por la posible fuera de los límites violación:

char xText[32]; 
SecureZeroMemory(xText, 32); 
memcpy(xText, gText, strlen(gText)); 

Es un falso postulado ¿o se está inicializando la variable global más tarde?

Gracias!

Answer 1

Es un falso positivo. strlen probablemente se haya abstraído al devolver un número positivo desconocido, por lo que al analizar el patrón memcpy(dest,src,strlen(src)); el analizador no se da cuenta de que la parte de lectura de la copia es segura tan pronto como src es una cadena bien formada.

Si estaba usando strcpy, el analizador probablemente concluiría que está bien en este caso. ¿Tienes una razón para no hacerlo? La función strcpy se considera "insegura" pero su memcpy(..,src,strlen(src)) es bastante insegura también.

EDIT: También, sellibitze plantea un punto muy bueno en los comentarios: el atributo const en el código original sólo se aplica a los caracteres apuntados por gText y no a gText sí.

Answer 2

Yo diría que no es un falso positivo. Existe el riesgo potencial de que alguien venga y cambie la longitud de gText sin darse cuenta de que no puede tener más de 32 caracteres. Definitivamente pondré algún tipo de control antes de la memcpy para asegurarme de que no pueda haber un desbordamiento del búfer.

p. Ej.

char xText[32]; 
SecureZeroMemory(xText, 32); 
size_t lenToCopy = MIN(strlen(gText), 32); 
memcpy(xText, gText, lenToCopy); 

También reemplazaría el número mágico 32 con una constante.