Finding panics with Call Graph Analyzer
Summary
The article introduces CGA, an open-source MIR-based Rust tool for extracting call graphs to identify potential panics in compiled binaries. It explains the architecture (rustc-driver, MIR traversal), usage with cargo, and practical considerations like white/blacklisting and caveats for embedded Rust.