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