用调用图分析器找出 Rust 二进制里哪些函数会 panic

📋 概述

Tweede Golf 在 Open Device Partnership 框架下与微软合作发布 Call Graph Analyzer（CGA），从单态化后的 MIR 抽取出调用图，用来判断编译产物中哪些函数可能 panic；cargo cga check 会直接报出可能 panic 的方法调用和所在行。文章也坦白代价：这种静态分析在精度与覆盖率上与既有方案各有胜负，并不打算成为唯一答案，而是给「如何消除 Rust 代码里的 panic」这个反复被问到的问题提供新的量化手段。