Call Graph Analyzer de Rust rastrea cada posible panic en tu binario
Finding Panics with Call Graph Analyzer
Tweede golf y Microsoft lanzan Call Graph Analyzer (CGA), una herramienta que extrae el grafo de llamadas del MIR monomorfizado de Rust para detectar todas las funciones que pueden entrar en panic. A diferencia de enfoques basados en HIR o en el linker, CGA ve el código de las dependencias y la std, aunque puede generar falsos positivos y compilar 2-3 veces más lento que cargo check.
Es útil hacer los panics explícitos. Es mejor conocer tus rutas de panic y razonar sobre ellas que incluirlos accidentalmente e ignorar que existen.