
Safer C to Rust Migration
AI-powered code transformation with memory safety guarantees
RustMap presents an automated approach to migrate C codebases to safer, high-performance Rust while preserving program semantics and maximizing safety guarantees.
- Combines traditional program analysis with large language models to identify and handle complex pointer and memory relationships
- Generates cleaner, more idiomatic Rust code compared to existing template-based tools
- Achieves higher rates of memory-safe code translation with minimal human intervention
- Demonstrates scalability for practical project-level migrations
This research addresses critical engineering challenges in modernizing legacy codebases, reducing security vulnerabilities while maintaining performance characteristics essential for systems programming.
RustMap: Towards Project-Scale C-to-Rust Migration via Program Analysis and LLM