Non annulé chaîne terminée fausse alarme?

Question

Klocwork produit une alarme qui semble être fausse. Le bug qu'il mentionne décrit environ 80% du nombre total de bogues dans notre code. S'il vous plaît conseiller,

est un ensemble Par la présente snip (paraphrase): -

//a snip set 
// no bug here // 

{ 
    char*  destStr; 
    destStr = (char*)malloc(150); 
    if (destStr != NULL) { 
    destStr[0]= '\0'; //__here is the difference__ 
    char * myStr = malloc(200) ; 
    if (myStr != NULL) { 
     strcpy(myStr , destStr) ; 
    } 
    free(myStr); 
    } 
    free (destStr); 
    destStr = NULL; 
} 

//__whereas a bug here__ ! 

{ 
    char* destStr; 
    destStr = (char*) malloc(150); 
    if (destStr != NULL) { 
    destStr[0]= '\0'; // __here is the difference__ 
    } 
    else { 
    printf("hello world \n"); 
    } 
    if (destStr != NULL) { 
    char * myStr = malloc(200); 
    if (myStr != NULL) { 
     strcpy(myStr , destStr); // __NNTS (not NULL terminated string) – Buffer overflow of 'myStr' due to non null terminated string 'destStr'.__ 
    } 
    free (myStr); 
    } 
    free (destStr); 
    destStr = NULL; 
} 
//end of snip set 

Answer 1

Quelle version des produits Klocwork utilisez-vous? J'ai juste essayé d'analyser l'échantillon de code comme prévu et n'ai rien rapporté. Ajout d'un NPD intentionnel dans le code a provoqué un rapport, juste pour prouver que j'exécutais réellement l'outil; p Suggérer si vous n'exécutez pas quelque chose de relativement récent que vous essayez de mettre à jour (Insight 9.1 est l'ensemble de produit publié le plus récent).

Cordialement, Gwyn Fisher CTO et vice-président R & D Klocwork, Inc gwyn-at-klocwork.com

Answer 2

Please paste formatted code (read Readable code) 

Au début, je pensais que c'est obfuscated dans la nature. À la question, lorsque vous faites un strcpy, vous devez vérifier si la chaîne de destination est assez grande pour contenir la chaîne source.

Ici, DEST_LEN est égal à la quantité de mémoire allouée en octets.

if(source != NULL && dest != NULL) 

{ 

strncpy (dest , source , DEST_LEN -1); 

} 

---

Merci pour le montage par le modérateur.

Klockworks détecte strcpy comme une erreur car c'est juste un outil d'analyse statique. Je vous suggère de définir des macros personnalisées pour les opérations liées aux chaînes. Cela vérifiera la longueur de la mémoire à copier. Pour les autres opérations, vous pouvez également éditer facilement cette macro et éviter les fausses alarmes comme ci-dessus.