ENCRUST: Encapsulated Substitution and Agentic Refinement on a Live Scaffold for Safe C-to-Rust Translation

📰 ArXiv cs.AI

ENCRUST is a two-phase pipeline for translating C projects to safe Rust, addressing memory-safety guarantees and cross-unit type mismatches

advanced Published 7 Apr 2026

Action Steps

Phase 1: Encapsulated Substitution replaces C code with Rust equivalents while preserving memory layout and semantics
Phase 2: Agentic Refinement applies whole-program reasoning to detect and fix cross-unit type mismatches and handle unsafe constructs
The pipeline utilizes a live scaffold to ensure accurate and safe translation
ENCRUST can be integrated with existing development workflows to improve code safety and reliability

Who Needs to Know This

Software engineers and DevOps teams benefit from ENCRUST as it enables safe translation of C projects to Rust, reducing the risk of memory-safety issues and improving overall code reliability

Key Insight

💡 ENCRUST addresses the limitations of existing C-to-Rust translation approaches by providing a two-phase pipeline for safe and accurate translation