AdaTrans: 오류 적응형 수정을 통한 자동화된 C에서 Rust로의 변환

요약

C 코드를 Rust로 자동 변환할 때 발생하는 소유권 및 빌림 규칙 위반 문제를 해결하기 위한 AdaTrans 프레임워크를 제안합니다. RAG 기반의 오류 매핑과 다단계 검증 파이프라인을 통해 높은 컴파일 성공률과 기능적 동등성을 확보했습니다.

핵심 포인트

• RAG를 활용해 컴파일러 오류를 특정 수정 사항으로 매핑
• 오류 계층화 변환 전략(ESTS)으로 오류 유형별 맞춤 대응
• 평균 컴파일 통과율 95.51% 및 문제 해결률 81.09% 달성
• unsafe 구문 사용 비율을 1.19%로 최소화