본 논문은 레거시 언어(예: C)로 작성된 소프트웨어를 현대 언어(예: Rust)로 변환하는 과정에서 발생하는 어려움을 해결하기 위해, LLM 기반의 C-to-Rust 제로샷 번역 도구인 SACTOR를 제안합니다. SACTOR는 의미를 보존하는 'unidiomatic' 단계와 Rust의 의미론적 표준을 따르도록 코드를 개선하는 'idiomatic' 단계의 두 단계 번역 방법론을 사용합니다. 소스 C 프로그램의 정적 분석 정보를 활용하여 포인터 의미론 및 종속성 해결과 같은 문제를 해결하고, 외래 함수 인터페이스를 통한 종단 간 테스트로 각 단계의 번역 결과 정확성을 검증합니다. GPT-4o, Claude 3.5 Sonnet, Gemini 2.0 Flash, Llama 3.3 70B, DeepSeek-R1 등 다양한 LLM을 사용하여 200개 프로그램을 번역하고 평가한 결과, 높은 정확성과 향상된 관용성을 달성함을 보여줍니다. 특히 DeepSeek-R1은 93%의 정확도를 달성하였고, GPT-4o, Claude 3.5, DeepSeek-R1은 각 데이터셋에서 84%의 정확도를 달성했습니다.
