Adversarial Agent Collaboration for Correctness Improvements of C to Safe Rust Translation

Tianyu Li, Ruishi Li, Bo Wang +3

Translating C to memory-safe languages, like Rust, prevents critical memory safety vulnerabilities that are prevalent in legacy C software. Even with recent LLM-based and tool-augm…