AddressSanitizer 检查全局二维数组

可以使用AddressSanitizer来检查全局二维数组。AddressSanitizer是一个内存错误检测工具，可以在运行时发现内存错误，包括使用未初始化的内存、使用已释放的内存、缓冲区溢出等等。以下是一个示例程序，演示如何使用AddressSanitizer检查全局二维数组。

#include <iostream>
#include <cstring>
#include <cstdlib>

// 定义一个全局的二维数组
int arr[10][10];

int main() {
    // 对数组进行访问
    for (int i = 0; i < 10; i++) {
        for (int j = 0; j < 10; j++) {
            arr[i][j] = i * j;
        }
    }

    // 使用 AddressSanitizer 进行检查
    std::memset(arr, 0, sizeof(arr)); // 将数组初始化为0，以便检查未初始化内存

    std::cout << "Enter array index to access: ";
    int i, j;
    std::cin >> i >> j;

    std::cout << "arr[" << i << "][" << j << "] = " << arr[i][j] << std::endl;

    return 0;
}

编译时需要使用-fsanitize=address选项启用AddressSanitizer，例如：

g++ -fsanitize=address -o test test.cpp

运行时会输出类似以下的信息，提示存在访问未初始化内存的错误：

AddressSanitizer:DEADLYSIGNAL
=================================================================
==1==ERROR: AddressSanitizer: global-buffer-overflow on address 0x00010f5b3f80 at pc 0x7f72e1f4c0b6 bp 0x7ffc4132b330 sp 0x7ffc4132b328
READ of size 4 at 0x00010f5b3f80 thread T0
    #0 0x7f72e1f4c0b5 in main (/path/to/test+0x10b5)
    #1 0x7f72e1c59b96 in __libc_start_main (/lib/x86_64-linux-gnu/libc.so.6+0x21b96)
    #2 0x7f72e1f4b3ed in _start (/path/to/test+0xb3ed)

Address 0x00010f5b3f80 is a global variable located at offset 0 in segment of size 8000 in arena "global"

可以根据这个信息，定位代码中的错误，并进行修复。