
Bridging C to Rust: Smarter Migration
Using program analysis and LLMs for safer, more maintainable translations
RustMap introduces a novel hybrid approach combining program analysis with LLMs to transform C code into safer, idiomatic Rust while preserving functionality.
- Overcomes limitations of template-based translators by analyzing program dependencies and semantics
- Produces more memory-safe code that aligns with Rust's ownership model
- Generates human-readable, maintainable Rust code that reduces the need for unsafe blocks
- Leverages LLMs to handle complex translation challenges where rules-based approaches fail
This research addresses critical engineering needs by enabling organizations to migrate legacy C codebases to Rust without sacrificing safety or performance—making it easier to modernize critical infrastructure while reducing security vulnerabilities.
RustMap: Towards Project-Scale C-to-Rust Migration via Program Analysis and LLM