如何解决Linux内存扫描程序的Valgrind未初始化值与非法读取错误

错误成因分析 #

非法内存读取（Invalid read of size 1） #

1. 特殊内存区域访问：/proc/self/maps中的[vdso]、[vsyscall]等内核映射区域，虽标记为可读，但用户态无法安全访问，Valgrind会判定为非法读取。原代码仅过滤了[vvar]，未处理其他特殊区域。
2. 循环边界错误：原count_a_in_region函数的循环条件ptr < (char *)(uintptr_t)end - 1错误跳过了区域最后一个字节，且边界计算可能触发内存地址误判。

未初始化值警告（Conditional jump or move depends on uninitialised value(s)） #

栈上的MemoryRegion局部变量未显式清零，尽管程序逻辑仅使用已初始化字段，但Valgrind会检测到未初始化内存被复制到堆数组中，触发警告。

具体修复方案 #

1. 过滤特殊内存区域 #

修改parser.c中的过滤逻辑，排除所有内核特殊映射区域：

// 替换原过滤条件
if (strstr(line, "[vvar]") || strstr(line, "[vdso]") || strstr(line, "[vsyscall]") || region.permissions[0] != 'r') {
    continue;
}

2. 修正循环边界 #

修改scanner.c中的count_a_in_region函数，正确遍历[start, end)区间：

int count_a_in_region(unsigned long start, unsigned long end) {
    int count = 0;
    for (char *ptr = (char *)(uintptr_t)start; ptr < (char *)(uintptr_t)end; ptr++) {
        if (*ptr == 'A') {
            count++;
        }
    }
    return count;
}

3. 显式初始化栈结构体 #

在parser.c中，初始化栈上的MemoryRegion时显式清零：

// 替换原局部变量声明
MemoryRegion region = {0}; // 显式清零所有字段

4. 移除冗余逻辑（可选） #

由于parser已过滤非可读区域，scan_memory中的权限检查可移除：

// 移除以下代码块
if (region.permissions[0] == 'r') {
    // ...
}

同时修正count_a_in_region的函数声明与实现不一致问题（移除错误返回逻辑）：

// scanner.h中修改声明
int count_a_in_region(unsigned long start, unsigned long end);

验证方法 #

使用原Valgrind参数重新运行程序：

valgrind --leak-check=full --track-origins=yes --error-exitcode=1 --show-leak-kinds=all --read-var-info=yes --malloc-fill=0xAA --free-fill=0xFF ./your_program

确认所有未初始化值和非法读取警告消失。

内容的提问来源于stack exchange，提问作者Lyon