Reproduce “Project-Level C-to-Rust Translation via Pointer Knowledge Graphs” on OpenResearch
Turn your favorite coding agents into research agents that review literature, develop hypotheses, and run experiments.
Universal app for Apple silicon and Intel. Requires macOS 11 or later.
About this paper
Zhiqiang Yuan, Wenjun Mao, Zhuo Chen, Xiyue Shang, Chong Wang, Yiling Lou, Xin Peng
PtrTrans translates C projects into Rust using a project-wide graph of pointer use and Rust ownership, mutability, nullability, and lifetime annotations. An LLM receives graph facts and dependencies for each unit. Across 16 projects, unsafe usages were 99.9% lower than Crown and PR²; below 4,000 lines, test equivalence averaged 29.3 points above FLOURINE, not proof of semantic equivalence.
Summary by alphaXiv.
Tip: change arxiv.org to autoarxiv.org in any arXiv abstract link to open the paper here.