如何调试C11嵌入式程序中野指针非法修改变量的问题

硬件调试方案（优先使用，定位效率最高） #

• 触发硬件写断点：通过J-Link、ST-Link等调试工具，给目标变量foo对应的内存地址配置写访问断点，只要有任意指令对该地址执行写入操作，调试器会立即暂停程序运行，此时查看调用栈即可直接定位到非法写入的代码位置，不需要修改业务代码、不会影响原有程序运行逻辑，是这类内存非法修改问题的首选排查方案。
• 借助MPU触发异常：若所用MCU搭载内存保护单元（MPU），可将静态变量所在的内存段配置为只读权限，非法写入操作会触发硬件Fault中断，进入中断后查看栈中存储的PC寄存器值，即可定位到非法写指令的具体位置。

软件调试方案（无硬件调试条件时使用） #

• 排查数组越界逻辑：优先核查所有与foo所属结构体数组相关的读写操作，重点验证数组下标边界判断是否存在漏洞，扩容结构体数组后出现运行变慢、卡死的异常，大概率是数组写越界覆盖了栈返回地址、堆控制头等关键内存数据导致。
• 新增内存防护水印：在foo变量的前后各定义一个静态无意义变量，初始化为固定魔数（如0xDEADBEEF），定时打印这两个防护变量的取值，若魔数被篡改，即可判定是相邻变量的越界写导致的问题，缩小排查范围。
• 替换动态内存定位：临时将所有动态内存分配（malloc）逻辑替换为静态分配，若问题消失，说明故障来源于堆内存越界、野指针读写、重复释放等堆操作错误，重点排查所有指针赋值、内存拷贝、内存释放的相关逻辑。
• 开启编译检查选项：打开工具链的内存错误检查编译选项，如GCC的-fstack-protector-all、-fsanitize=address（需工具链支持），编译后的程序会在触发内存越界操作时直接报错并输出定位信息。
• 增量注释排查：按模块逐段注释新增/改动的代码，每次注释后运行验证问题是否复现，定位到引发问题的代码模块后再逐行核查逻辑。

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