C2SafeRust: Translating C to Safe Rust via incorporating In-context Learning and Program Structures into LLM

This repository contains the code and dataset for the paper C2SafeRust: Translating C to Safe Rust via Incorporating In-Context Learning and Program Structures into LLM in FSE 2025.

C2SafeRust is an advanced tool designed to automatically translate C code into safe, readable, and maintainable Rust code. Leveraging in-context learning (ICL), C2SafeRust generates idiomatic Rust that adheres to Rust's safety guarantees. The tool employs detailed program structures, such as Control Flow Graphs (CFG) and Data Dependency Graphs (DDG), along with intermediate variable values obtained through program instrumentation. By integrating these elements with a Large Language Model (LLM), C2SafeRust ensures high syntactic and semantic correctness in the translation process, while maintaining the readability and maintainability of the resulting Rust code.