MicrosoftとTweede golfが開発したCGA、コンパイル済みバイナリからpanicの呼び出し経路を追跡

Finding Panics with Call Graph Analyzer

Rustでpanicを完全に排除するのは現実的ではないが、意図しないpanicの経路を把握することは重要だ。Open Device Partnershipの下でMicrosoftとTweede golfが開発したCall Graph Analyzer (CGA)は、monomorphized MIRからコールグラフを抽出し、バイナリ内のどの関数がpanicし得るかを追跡する。cargo cga checkで実行でき、async RustやEmbedded Rustにも対応する。