EnterpriseResearchSecurityTools

Canonical backs quest to translate mountains of C into safe Rust with AI

Source: The Register

Intel Summary

Canonical is funding academic research at the University of Bristol to evaluate the feasibility of using artificial intelligence to automatically translate mature C codebases into memory-safe Rust. The initiative aims to determine whether complex, real-world systems software can maintain functional correctness and stability when migrated via machine-driven translation. While manual rewrites to Rust are notoriously resource-intensive, successful automated translation could significantly reduce the cost and technical risk associated with modernizing mission-critical open source and enterprise infrastructure.

Why It Matters

Memory safety vulnerabilities in legacy C and C++ code remain among the most exploited software weaknesses globally, prompting cybersecurity bodies to advocate for memory-safe languages. However, rewriting foundational operating system components manually is commercially and technically prohibitive. If research confirms that AI models can reliably handle semantic equivalence and safety guarantees during conversion, it could accelerate enterprise adoption of memory-safe architectures across foundational infrastructure stacks.

Part of an ongoing development

Independent reporting

Canonical funds University of Bristol research on AI-based C-to-Rust translation

Canonical is funding academic research at the University of Bristol to evaluate the feasibility of using artificial intelligence to automatically translate mature C codebases into memory-safe Rust. While manual rewrites to Rust are notoriously resource-intensive, successful automated translation could significantly reduce the cost and technical risk associated with modernizing mission-critical open source and enterprise infrastructure. Claims are as reported; this summary makes no determination about accuracy or significance.

Confidence
Moderate confidence
Corroboration
Limited corroboration

Organizations & Entities

Topics