El Call Graph Analyzer detecta panics en código Rust mediante MIR
El Call Graph Analyzer (CGA) es una herramienta desarrollada por la Open Device Partnership y Microsoft para identificar funciones en binarios compilados de Rust que pueden provocar un 'panic'. A diferencia de los métodos basados en análisis de información de depuración ELF o en el uso de representa
