Project-Level C-to-Rust Translation via Pointer Knowledge Graphs

작성자

Haebom

카테고리

Empty

저자

Zhiqiang Yuan, Wenjun Mao, Zhuo Chen, Xiyue Shang, Chong Wang, Yiling Lou, Xin Peng

💡 개요

이 논문은 C 언어 코드를 안전한 Rust 코드로 변환하는 문제에 집중하여, 기존의 함수 단위 번역 방식이 포인터 처리에서 겪는 한계를 극복하고자 합니다. 이를 위해 포인터 사용 정보와 Rust 지향 주석을 통합한 C-to-Rust 포인터 지식 그래프(KG)를 제안하고, 이를 활용하여 프로젝트 전체를 안전하고 관용적인 Rust 코드로 변환하는 PtrTrans 기법을 개발했습니다. 실험 결과, PtrTrans는 이전 방법론들에 비해 안전하지 않은 Rust 코드 사용을 99.9% 감소시키고 기능적 정확성은 29.3% 향상시키는 성과를 보였습니다.

🔑 시사점 및 한계

•

LLM 기반 C-to-Rust 번역에서 포인터의 전역적인 의미를 효과적으로 다루기 위한 새로운 접근 방식(지식 그래프)의 가능성을 제시합니다.

•

제안된 PtrTrans는 기존 방법론 대비 안전성과 기능적 정확성 측면에서 상당한 개선을 보여주어, 실제 프로젝트의 안전한 Rust 전환에 기여할 수 있습니다.

•

포인터 지식 그래프의 구축 및 유지보수에 대한 추가적인 연구와, 다양한 규모와 복잡성의 C 프로젝트에 대한 광범위한 검증이 필요합니다.

PDF 보기

Made with Slashpage