用静态分析回溯可能的空指针路径 3842 字·8 分钟 嵌入式 Embedded-C Static-Analysis Gcc Null-Pointer C11 Host-Fake Beginner 在 Windows 主机上用 GCC 静态分析器发现并回溯一条可能的空指针解引用路径,把诊断作为待验证的风险证据。