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

arXiv:2510.10956v2 Announce Type: replace-cross Abstract: Translating C code into safe Rust is an effective way to ensure memory safety. Compared to rule-based approaches, which often produce largely unsafe Rust code, LLM-based methods generate more idiomatic and safer Rust by leveraging extensive training on human-written code. Despite their promise, existing LLM-based approaches still struggle with project-level C-to-Rust translation. They typically partition a C project into smaller units (e.