Call Graph Analyzer от Open Device Partnership и Microsoft находит паники в Rust-коде
Finding Panics with Call Graph Analyzer
В рамках Open Device Partnership совместно с Microsoft выпущен Call Graph Analyzer (CGA) — инструмент, извлекающий граф вызовов из мономорфизированного MIR. Он позволяет отследить, какие функции в скомпилированном бинарнике могут вызвать панику, и поддерживает асинхронный Rust и встраиваемые системы. CGA работает как rustc-driver и запускается командой cargo cga check, но компиляция с ним замедляется в 2–3 раза.
Стремление к полному отсутствию паник — очень сложная и довольно глупая затея: код редко бывает свободен от допущений.