Safer C to Rust Migration

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

257 | 323