Rust 코드에서 '패닉' 터지는 경로 싹 잡아내는 오픈소스 분석 도구 등장

요약 임베디드 소프트웨어 컨설팅 기업 트위더 골프(Tweede golf)가 마이크로소프트와의 협력 및 오픈 디바이스 파트너십(Open Device Partnership) 하에 Rust 코드에서 패닉(panic) 발생 지점을 추적할 수 있는 오픈소스 도구 '콜 그래프 애널라이저(Call Graph Analyzer, CGA)'를 개발해 공개했습니다. Rust에서 패닉은 치명적이거나 복구 불가능한 에러 상황에서 프로그램의 정상 실행을 중단시키는 메커니즘입니다. 개발자들은 종종 패닉을 완전히 없애는 방법을 묻지만, 사실 코드에서 가정을 아예 배제하는 것은 불가능에 가깝고 무작정 모든 에러를 Result로 감싸는 것은 에러 전파 부담만 루트로 넘길 뿐 실질적으로 패닉과 다를 바 없다는 지적이 나옵니다. 하지만 임베디드 기기처럼 바이너리 크기가 극도로 중요한 환경(패닉 문자열 및 포맷팅 코드가 큰 용량을 차지함)이나, 서비스 거부(DoS)를 막아야 하는 핵심 네트워크 경로, 펌웨어 업데이트 및 부트로더 같은 절대 죽어서는 안 되는 환경에서는 의도치 않은 패닉 경로를 사전에 파악하고 제거하는 것이 필수적입니다. 새로 공개된 Call Graph Analyzer는 모노모피즘(monomorphized) MIR 단계에서 호출 그래프를 직접 추출함으로써, 컴파일된 바이너리 내에서 어떤 함수가 패닉을 유발할 수 있는지 정밀하게 추적합니다. 기존에도 ELF 디버그 정보 분석(rustig, findpanics)이나 HIR 분석(cargo-callgraph), 링커 기반 감지(no-panic, dont_panic) 등 다양한 시도가 있었으나, CGA는 MIR 레벨 분석을 통해 패닉 발생 경로를 보다 체계적으로 점검하고 회귀 테스트에 활용할 수 있도록 돕습니다.