Canonical financia pesquisa para converter automaticamente projetos de C para Rust

A Canonical está investindo em uma pesquisa de três anos com a Universidade de Bristol para desenvolver uma tecnologia capaz de migrar automaticamente grandes bases de código de C para Rust. O projeto, que começa em 2026, combinará modelos de aprendizado de máquina com análise formal de programas — uma abordagem chamada neurosimbólica — para produzir código Rust seguro e idiomático que mantenha o comportamento original, mesmo em repositórios com centenas de milhares de linhas.

O desafio está em lidar com projetos maduros que acumulam anos de otimizações e decisões de engenharia; ferramentas convencionais costumam gerar Rust que ainda usa muitos recursos unsafe ou reproduz padrões típicos de C. A Canonical pretende testar a tecnologia em AppArmor e snap-confine, dois componentes críticos do Ubuntu, para avaliar como a abordagem se comporta com grandes bases de código e dependências complexas. O projeto faz parte do esforço mais amplo de adoção do Rust no ecossistema Ubuntu, após o sucesso de implementações menores como uutils coreutils e sudo-rs.