AdaTrans improves automated C-to-Rust transformation via error-adaptive repair
arXiv·medium signal
Automated C-to-Rust migration is hard because Rust's ownership and borrowing rules trip up LLMs, which often emit rule-violating or unsafe code. AdaTrans maps specific compiler errors to targeted repairs using strategy-driven RAG and an error-stratified transformation strategy, reducing reliance on unsafe constructs. Practical for teams doing real memory-safety migrations rather than toy translations.