Le débordement qui ne plante pas

/* (A) */  int* p = NULL;
           *p = 1;

/* (B) */  int voisine = 1000;
           int t[5] = {0, 0, 0, 0, 0};
           for (int i = 0; i < 8; i = i + 1) { t[i] = i; }
           printf("voisine = %d\n", voisine);

(A) est tué par le système : code de sortie $139=128+11$, soit le signal $11$, SIGSEGV. L'adresse $0$ n'appartient à aucune plage du processus, le matériel intercepte, le système tue. Rien n'a été corrompu.

(B) compilé avec -fno-stack-protector affiche :

voisine = 6
t = 0 1 2 3 4

et se termine avec le code $0$. Les tours $i=5,6,7$ ont écrit hors du tableau, dans une mémoire qui appartient bel et bien au processus : celle de voisine. La variable a changé de valeur sans qu'aucune ligne du programme ne la nomme. Le tableau, lui, est intact — le programme peut donc être faux ailleurs qu'à l'endroit de la faute.

Le classement est contre-intuitif, et c'est le point de l'exercice :

Une nuance mesurée. Compilé sans -fno-stack-protector, c'est-à-dire par défaut sur la plupart des systèmes actuels, le même programme (B) se termine par le code $134=128+6$, SIGABRT : le compilateur avait glissé une valeur témoin — un canari — entre les variables locales et l'adresse de retour, et il a constaté à la sortie de la fonction qu'elle avait changé. Cette protection ne couvre que le débordement vers le haut d'un tableau local ; elle n'a rien vu, et ne peut rien voir, du même débordement sur un bloc du tas. Elle réduit la surface d'attaque, elle ne rend pas le programme correct.