用调用图分析器把会 panic 的函数一个个揪出来

📋 概述

Tweede golf 与微软在 Open Device Partnership 下发布了 Call Graph Analyzer（CGA），思路是从单态化后的 MIR 里抽出调用图，再顺着图找出编译进二进制的函数里哪些可能 panic。cargo cga check 能直接指着源码说"这一行调用的 strict_sub 可能 panic"。文章先辨析了为什么值得消除 panic：嵌入式场景下 panic 带来大量字符串与格式化代码，可用 defmt 或 -Cpanic=immediate-abort 压缩；关键路径（对外服务、固件升级与 bootloader）不能因为坏输入崩掉；panic 处理代码自身也不该 panic。但作者明确说追求零 panic 既难又愚蠢——Result 只是把负担推上调用栈，最后还是在根部 abort；真正有价值的是让 panic 路径显式化并做回归分析。与既有方案比：链接器法只能判断整个二进制里有没有 panic；ELF 调试信息法受内联影响；HIR 分析看不到依赖里的代码与编译器插入的边界检查；rust-analyzer 那条独立管线快，但常啃不动复杂 proc macro。MIR 法能看见依赖与 std 的代码，代价是此时 LLVM 还没清掉不可达分支，会有误报。