Overflow sur string ?

Bonjour,

Les "strings" en C continuent de me jouer des tours, voyez l'exemple suivant :

Code:

---

1 2 3 4

char * str; str = "0123456789"; printf("Le caractère en 3ème position est: %c\n", str[2]); /* Affiche 2 */ str[2] = '*'; /* Erreur de segmentation */

---

L'affectation du caractère '*' au 3ème élément de ma chaîne me génère une erreur de segmentation à l'exécution, aucune erreur de compilation.

S'agirait-il d'un overflow parce que je ne réserve qu'un pointeur char vers le début de la chaîne ? Le compilateur n'alloue-t-il pas la bonne quantité de mémoire automatiquement ? En effet, quand je définis str il ne pointe nulle part. Mais quand j'affecte la chaîne à ce pointeur, la chaine étant un tableau, str a pour valeur le pointeur vers le premier élément de type char. Le compilateur ne devrait-il pas allouer lui-même l'espace nécessaire pour le reste de la chaine ?

Merci d'avance pour votre éclairage !

Sébastien

Bonjour,
les chaines littérales comme "0123456789" sont stockées dans un espace mémoire en lecture seule, elles sont immutables = on ne peut les modifier. Or tu crées un pointeur vers cette chaîne, tu essayes de la modifier et du coup il y a une violation d'accès ⇒ ça plante.

Pour pallier ce problème, tu pourrais déclarer un tableau de char, demander au compilo d'y copier le littéral et tout se passera mieux :

Code:

---

1 2 3 4

char str[] = "0123456789"; printf("Le caractère en 3ème position est: %c\n", str[2]); /* Affiche 2 */ str[2] = '*'; /* Ça passe */

---

Tu peux également, si tu as un gcc récent, ajouter en plus des warnings une option d'analyse statique. Cela te permettra de déceler ces erreurs :

Code:

---

1 2 3 4 5 6 7 8

$ gcc -Wall -Wextra -fanalyzer -g -c test.c In function ‘main’: test.c:8:16: warning: write to string literal [-Wanalyzer-write-to-string-literal] 8 | str[2] = '*'; /* Erreur de segmentation */ | ~~~~~~~^~~~~ ‘main’: event 1 | |

---

ou alors, demander à un outil spécialisé de profilage mémoire, comme valgrind, d'essayer de débusquer l'erreur :

Code:

---

1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21

$ valgrind --leak-check=full --track-origins=yes --show-reachable=yes ./test ==159839== Memcheck, a memory error detector ==159839== Copyright (C) 2002-2017, and GNU GPL'd, by Julian Seward et al. ==159839== Using Valgrind-3.17.0 and LibVEX; rerun with -h for copyright info ==159839== Command: ./test ==159839== Le caractère en 3ème position est: 2 ==159839== ==159839== Process terminating with default action of signal 11 (SIGSEGV): dumping core ==159839== Bad permissions for mapped region at address 0x10A00A ==159839== at 0x109178: main (test.c:8) ==159839== ==159839== HEAP SUMMARY: ==159839== in use at exit: 0 bytes in 0 blocks ==159839== total heap usage: 1 allocs, 1 frees, 1,024 bytes allocated ==159839== ==159839== All heap blocks were freed -- no leaks are possible ==159839== ==159839== For lists of detected and suppressed errors, rerun with: -s ==159839== ERROR SUMMARY: 0 errors from 0 contexts (suppressed: 0 from 0) Segmentation fault (core dumped)

---

ou encore, après avoir compilé ton programme en demandant une vérification des accès mémoire ainsi : gcc -Wall -Wextra -fanalyzer -fsanitize=address -g -o test test.c obtenir des informations lors du crash :

Code:

---

1 2 3 4 5 6 7 8 9 10 11 12 13

$ ./test Le caractère en 3ème position est: 2 AddressSanitizer:DEADLYSIGNAL ================================================================= ==159859==ERROR: AddressSanitizer: SEGV on unknown address 0x556beb037022 (pc 0x556beb036240 bp 0x7ffe8c10e450 sp 0x7ffe8c10e440 T0) ==159859==The signal is caused by a WRITE memory access. #0 0x556beb036240 in main /home/fred/Desktop/test.c:8 #1 0x7f61b0697b24 in __libc_start_main (/usr/lib/libc.so.6+0x27b24) #2 0x556beb0360cd in _start (/home/fred/Desktop/test+0x10cd)   AddressSanitizer can not provide additional info. SUMMARY: AddressSanitizer: SEGV /home/fred/Desktop/test.c:8 in main ==159859==ABORTING

---

Apprendre à utiliser ces outils (en plus d'un debuger) est indispensable, surtout quand tu développes en C.

Bonjour WhiteCrow, merci d'avoir pris le temps de me répondre de manière aussi complète ! :ccool::ccool::ccool:

Je comprends mieux pourquoi je pouvais lire la valeur mais pas la modifier.

Merci aussi pour les options du compilateur qui permettent de débusquer ces problèmes.

Excellente journée !

Sébastien