Faux négatif avec l'adresse aseptiseur?

Question

Considérons le code ci-dessous. Aucune erreur ne s'affiche lorsque je compile et que je l'exécute avec le désinfectant d'adresse. Mais il devrait y avoir une erreur juste en assignant/accédant à l'emplacement de mémoire hors limites? Pourquoi le désinfectant ne le détecte-t-il pas?

int arr[30]; 

int main(){ 
    arr[40] = 34; 
    printf(“%d”, arr[40]); 
} 

Merci!

clang -fsanitize=address -fno-omit-frame-pointer test.c 
./a.out 

Answer 1

Ceci est décrit par l'entrée suivante dans FAQ:

Q: Why didn't ASan report an obviously invalid memory access in my code? 

A1: If your errors is too obvious, compiler might have already optimized it 
    out by the time Asan runs. 

A2: Another, C-only option is accesses to global common symbols which are 
    not protected by Asan (you can use -fno-common to disable generation of 
    common symbols and hopefully detect more bugs).