Raw Pointer Rewriting with LLMs for Translating C to Safer Rust

Created by

Haebom

저자

Yifei Gao, Chengpeng Wang, Pengxiang Huang, Xuwei Liu, Mingwei Zheng, Xiangyu Zhang

💡 개요

본 논문은 C 코드를 Rust로 변환 시 발생하는 안전하지 않은 원시 포인터 문제를 해결하기 위해 대규모 언어 모델(LLM)을 활용한 새로운 기법을 제안합니다. 제안된 PR2 기법은 의사결정 트리 기반 프롬프팅과 코드 변경 분석을 통해 원시 포인터를 Rust의 안전한 데이터 구조로 효과적으로 변환합니다. 이를 통해 C2RUST로 생성된 Rust 코드의 메모리 안전성을 크게 향상시켰습니다.

🔑 시사점 및 한계

•

C 코드를 Rust로 변환할 때 발생하는 원시 포인터 관련 안전성 문제를 LLM을 통해 효과적으로 해결할 수 있습니다.

•

PR2 기법은 의사결정 트리와 코드 변경 분석을 활용하여 원시 포인터 변환의 정확성과 오류 수정 능력을 높였습니다.

•

제안된 방법론은 실제 28개의 C 프로젝트에 적용되어 18.57%의 로컬 원시 포인터를 제거하며 상당한 안전성 향상을 입증했습니다.

•

변환 과정에서 컴파일 오류 및 테스트 케이스 실행 오류를 성공적으로 처리했지만, 복잡하거나 광범위한 포인터 사용 시의 완벽한 안전 보장에는 여전히 한계가 있을 수 있습니다.

PDF 보기

Made with Slashpage