如何在非调试模式下定位修改全局变量的代码行（STM32+Keil+FreeRTOS）

一、硬件级内存保护（MPU）拦截非法访问 #

STM32F4系列内置内存保护单元（MPU），可通过硬件强制限制全局变量的读写权限，非法修改时直接触发HardFault中断，精准定位问题：

1. MPU配置：将目标全局变量所在的4字节（32位变量）内存块配置为只读权限，特权/用户模式均禁止写入。
2. 合法修改时临时开放权限：在唯一合法修改该变量的代码块前后，临时修改MPU权限为可写，完成修改后立即恢复只读：

   // 示例：MPU区域配置函数（基于STM32 HAL库实现）
   void MPU_SetVarWritable(uint32_t var_addr)
   {
       MPU_Region_InitTypeDef MPU_InitStruct = {0};
       MPU_InitStruct.Enable = MPU_REGION_ENABLE;
       MPU_InitStruct.Number = MPU_REGION_NUMBER0;
       MPU_InitStruct.BaseAddress = var_addr & ~0xFFF; // 按4KB对齐
       MPU_InitStruct.Size = MPU_REGION_SIZE_4KB;
       MPU_InitStruct.SubRegionDisable = 0x0;
       MPU_InitStruct.TypeExtField = MPU_TEX_LEVEL0;
       MPU_InitStruct.AccessPermission = MPU_REGION_FULL_ACCESS;
       MPU_InitStruct.DisableExec = MPU_INSTRUCTION_ACCESS_DISABLE;
       MPU_InitStruct.IsShareable = MPU_ACCESS_SHAREABLE;
       MPU_InitStruct.IsCacheable = MPU_ACCESS_NOT_CACHEABLE;
       MPU_InitStruct.IsBufferable = MPU_ACCESS_NOT_BUFFERABLE;
       HAL_MPU_ConfigRegion(&MPU_InitStruct);
   }
   
   void MPU_SetVarReadOnly(uint32_t var_addr)
   {
       MPU_Region_InitTypeDef MPU_InitStruct = {0};
       MPU_InitStruct.Enable = MPU_REGION_ENABLE;
       MPU_InitStruct.Number = MPU_REGION_NUMBER0;
       MPU_InitStruct.BaseAddress = var_addr & ~0xFFF;
       MPU_InitStruct.Size = MPU_REGION_SIZE_4KB;
       MPU_InitStruct.SubRegionDisable = 0x0;
       MPU_InitStruct.TypeExtField = MPU_TEX_LEVEL0;
       MPU_InitStruct.AccessPermission = MPU_REGION_PRIV_RO_URO; // 只读权限
       MPU_InitStruct.DisableExec = MPU_INSTRUCTION_ACCESS_DISABLE;
       MPU_InitStruct.IsShareable = MPU_ACCESS_SHAREABLE;
       MPU_InitStruct.IsCacheable = MPU_ACCESS_NOT_CACHEABLE;
       MPU_InitStruct.IsBufferable = MPU_ACCESS_NOT_BUFFERABLE;
       HAL_MPU_ConfigRegion(&MPU_InitStruct);
   }
   
   // 合法修改代码块
   MPU_SetVarWritable((uint32_t)&g_target_var);
   g_target_var = new_value;
   MPU_SetVarReadOnly((uint32_t)&g_target_var);
   

3. HardFault中断解析：在HardFault服务函数中，解析栈帧获取当前PC值、任务句柄，通过串口打印这些信息。将PC值对照Keil生成的.map文件，即可定位到非法修改的代码行。

二、影子变量+定时监控 #

通过影子变量对比，捕捉变量异常修改的时刻，同步采集系统状态：

1. 创建影子变量：定义与目标变量同类型的影子变量，仅在合法修改时同步更新：

   uint32_t g_target_var;
   static uint32_t g_shadow_var;
   
   // 合法修改时同步影子变量
   void SetTargetVar(uint32_t val)
   {
       g_target_var = val;
       g_shadow_var = val;
   }
   

2. 定时监控任务：创建一个低优先级FreeRTOS任务，周期性对比目标变量与影子变量。一旦发现不一致，立即采集系统信息：
   • 调用vTaskList()打印所有任务的状态、栈剩余空间；
   • 读取当前任务的栈帧，获取PC值与LR值；
   • 打印全局变量前后的哨兵值（若配置了哨兵）。
3. 注意事项：监控周期需平衡实时性与系统负载，建议设为10~100ms。

三、内存越界排查（哨兵+栈溢出检测） #

针对内存越界的可能，通过哨兵变量和FreeRTOS栈溢出检测缩小范围：

1. 哨兵变量防护：在目标全局变量前后添加固定值的哨兵变量，定时检查哨兵是否被篡改：

   uint32_t g_sentinel_before = 0xDEADBEEF;
   uint32_t g_target_var;
   uint32_t g_sentinel_after = 0xCAFEBABE;
   

   若哨兵值异常，说明变量所在内存区域被越界覆盖，可通过.map文件查找邻近的变量、任务栈，锁定可疑模块。
2. FreeRTOS栈溢出检测：开启configCHECK_FOR_STACK_OVERFLOW为1或2，实现栈溢出钩子函数：

   void vApplicationStackOverflowHook(TaskHandle_t xTask, char *pcTaskName)
   {
       printf("Stack overflow: %s\n", pcTaskName);
       // 可添加系统状态采集逻辑
       while(1);
   }
   

   任务栈溢出可能破坏全局变量，此方法可快速定位溢出任务。

四、运行时PC轨迹回溯 #

通过记录任务切换时的PC值，回溯异常发生前的执行路径：

1. 上下文切换钩子：利用FreeRTOS的vTaskSwitchContext钩子函数，在任务切换时记录当前任务ID、PC值到环形缓冲区：

   #define TRACE_BUF_SIZE 1024
   static uint32_t g_trace_buf[TRACE_BUF_SIZE];
   static uint16_t g_trace_idx = 0;
   
   void vTaskSwitchContext(void)
   {
       uint32_t pc = __get_PC();
       TaskHandle_t current_task = xTaskGetCurrentTaskHandle();
       // 写入缓冲区：高16位任务地址标识，低16位PC（简化示例）
       g_trace_buf[g_trace_idx++] = ((uint32_t)current_task << 16) | (pc & 0xFFFF);
       if(g_trace_idx >= TRACE_BUF_SIZE) g_trace_idx = 0;
   }
   

2. 异常触发时导出轨迹：当发现变量被非法修改时，将环形缓冲区的内容导出，结合.map文件回溯任务执行路径，找到可疑代码段。

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