Erreur inattendue en utilisant la fonction realloc()

Bonjour,

Dans le cadre d’un projet, j’ai identifié une ligne de code qui posait problème avec la fonction realloc.
J’aimerais donc vérifier ma bonne compréhension de cette fonction.

Êtes-vous d’accord que le code suivant est correct, ne présente aucune fuite de mémoire et utilise correctement la fonction realloc ?

#include <stdio.h>
#include <stdlib.h>

int main(void)
{
    int* p = malloc(2*sizeof(int));
    
    if (!p)
        return EXIT_FAILURE;
    
    p[0] = 42;
    p[1] = 63;
    
    p = realloc((void*) p, (size_t) 530);
    
    if (!p)
        return EXIT_FAILURE;
    
    p[487] = 74;
    
    // Affiche : [42, 63, 74]
    printf("[%d, %d, %d]", p[0], p[1], p[487]);

    free(p);
    return EXIT_SUCCESS;
} 

(Si oui, si j’ai bien compris realloc, alors j’expliquerai ce que j’ai eu comme erreur : realloc qui corrompt les données en mémoire…)

Regarde ces deux lignes. Pourquoi ne passes-tu pas une taille mémoire de la même façon à ces deux fonctions? L’erreur vient du fait que 530 correspond à un nombre d’octets et 2 * sizeof (int) un nombre d’objets. Quelle est la bonne méthode d’après toi?

Ah merci, c’est précisément l’erreur également commise dans mon projet, je rectifie ça !

Quand tu as un code comme ça, exécute le avec un debugger ou un outil statique (outils externes, ou encore les options -fsanitize des compilos). En C, on ne peut pas faire confiance aux affichages pour le debut et en plus un debugger te donnerait beaucoup plus d’information.

Mon compilateur ne reconnaît pas cette commande, est-ce normal ?

gcc -fsanitize -pedantic -Wall -o "_test" "_test.c"
gcc: error: unrecognized command line option ‘-fsanitize’

gcc -fsanitize=address -Wall -Wextra -pedantic -o exec file.c

Merci ça marche! Mais que font -Wextra et exec ?

-Wextra ajoute d’autres warnings utiles.

exec c’est juste un nom d’exécutable au pif.

Bonjour,

En compilant et exécutant mon code avec -Wextra, -Wall, -fsanitize=address ou -fsanitize=leak, aucune erreur n’est renvoyée.

Mais une erreur se produit lorsque j’exécute mon code compilé avec l’option -fsanitize=thread :

FATAL: ThreadSanitizer: unexpected memory mapping 0x565555553000-0x565555555000

Que s’est-il passé ? Est-ce une erreur à réparer dans mon code ?

edit : c’est un bug du compilo

Avec address tu n’as pas d’erreur ? C’est curieux quand même. Normalement pour un buffer overflow aussi trivial, c’est détecté assez facilement. Après, pour avoir plus de précision, le mieux reste d’utiliser un debugger et de placer des breakpoints proches de l’endroit que l’on suspecte d’exploser (Il y a aussi l’option analyseur statique sound, mais c’est plus lourd à mettre en place).

Je ne le recommanderai pas toujours (surtout face au sanitizer) mais j’utilise parfois valgrind, qui détecte très bien cette erreur.

==13982== Memcheck, a memory error detector
==13982== Copyright (C) 2002-2017, and GNU GPL'd, by Julian Seward et al.
==13982== Using Valgrind-3.14.0 and LibVEX; rerun with -h for copyright info
==13982== Command: ./test
==13982== 
==13982== Invalid write of size 4
==13982==    at 0x1091D1: main (in /home/boris/test)
==13982==  Address 0x4a2782c is 1,340 bytes inside an unallocated block of size 4,193,520 in arena "client"
==13982== 
==13982== Invalid read of size 4
==13982==    at 0x1091E1: main (in /home/boris/test)
==13982==  Address 0x4a2782c is 1,340 bytes inside an unallocated block of size 4,193,520 in arena "client"
==13982== 
[42, 63, 74]==13982== 
==13982== HEAP SUMMARY:
==13982==     in use at exit: 0 bytes in 0 blocks
==13982==   total heap usage: 3 allocs, 3 frees, 1,562 bytes allocated
==13982== 
==13982== All heap blocks were freed -- no leaks are possible
==13982== 
==13982== For counts of detected and suppressed errors, rerun with: -v
==13982== ERROR SUMMARY: 2 errors from 2 contexts (suppressed: 0 from 0)

Je ne dis pas que cette solution est la meilleure, valgrind a évidemment des défauts, mais je pense qu’il faut savoir que ce genre d’outil existe.

(Pour avoir testé le programme plus haut avec le sanitizer de GCC, c’est bien détecté. Peut être une affaire de version).