地址清洁剂的否定性？

Question

考虑下面的代码。当我使用地址清理器进行编译和运行时，不显示任何错误。但是应该有一个错误权限，即分配/访问越界存储位置？为什么不解决卫生洗涤剂检测？

int arr[30]; 

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

谢谢！

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

Answer 1

这是由以下条目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).