如何高效检测C语言中栈变量地址非法引用问题？

问题背景 #

在纯C遗留项目中集成代码后，编译通过但出现偶发崩溃。通过逐步移除代码可定位问题，但过程繁琐；且因问题属于未定义行为，常规检测工具难以捕捉。

已定位的错误场景：

InitComm函数接收Serial类型的传值参数，却将该参数的地址赋值给Foo结构体的指针成员，这些指针在函数外部被使用，最终触发非法地址引用。

修复方案：将InitComm的参数改为Serial指针类型，传入全局变量g_rx、g_tx的地址。

目前使用CppCheck未检测出该问题，寻求比代码评审更高效的检测方法。

补充环境信息：

• 目标机器：80186(@CHIP)
• 编译器：Paradigm C++ Professional
• 主机系统：Windows 10

高效检测方法 #

• 启用编译器高等级警告与内置静态分析
  Paradigm C++ Professional自带针对平台的静态分析能力，开启最高等级的警告（对应编译器选项或IDE中的全警告开关），重点关注指针地址合法性、局部变量/传值参数地址逃逸相关的警告。这类编译器对自身调用约定、内存模型更熟悉，能直接捕捉到“将传值参数地址赋值给外部可访问指针”这类CppCheck遗漏的问题。
• 使用平台专用静态分析工具
  针对80186这类嵌入式平台，优先选用适配Paradigm编译器的专用静态分析工具。这类工具对目标CPU的内存布局、未定义行为场景更了解，能精准识别通用工具覆盖不到的问题。
• 运行时内存调试与断点跟踪
  利用调试环境或仿真工具，启用内存访问断点：在InitComm中记录赋值给Foo结构体的指针地址，后续在访问该指针时设置断点，一旦触发非法访问即可直接定位到问题点。部分编译器还提供内存调试选项（如给局部变量分配带边界标记的内存），能快速检测出非法地址引用。
• 定制静态扫描规则
  如果团队常用CppCheck等工具，可通过自定义规则（如编写XML规则文件），专门检测“局部变量/传值参数地址被赋值给外部结构体指针”这类地址逃逸场景，避免同类问题再次遗漏。

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