FORGE Lab da Microsoft usa agentes de IA e encontra falhas de memory safety na biblioteca padrão do Rust

O FORGE Lab da Microsoft focou em bugs de soundness no código unsafe da biblioteca padrão do Rust (std e core). Não são falhas do compilador. A ideia central: Vec e String são feitos de pequenos trechos unsafe embrulhados em APIs seguras, e essas APIs precisam ser sólidas. Nenhum uso em safe Rust deveria conseguir provocar comportamento indefinido.

Os achados caem em três padrões de confiança indevida. No primeiro, o código unsafe assume que não haverá panic enquanto um invariante está quebrado. Exemplo: MapWindows::clone, onde um panic no clone do usuário fazia o destrutor rodar sobre valores não inicializados. No segundo, o código confia que implementações fornecidas pelo usuário são corretas. Exemplo: str::replace com um Pattern customizado que gera uma String que não é UTF-8 válida. A correção trocou &[u8] por &str no tipo. No terceiro, confia-se no sistema subjacente: process::exit chamado de uma thread filha desmonta a pilha alternativa de sinais da thread principal enquanto ela ainda roda. O texto também cita o join, que teve o CVE-2020-36323 em 2020 e precisou de nova correção em abril de 2026. Segundo a Microsoft, duas issues reportadas seguem abertas e algumas correções ainda estão em revisão.

Em 14 de maio de 2026, o CEVIU noticiou o artigo "Sistema de IA multi-agente da Microsoft supera Mythos da Anthropic em benchmark de cibersegurança", sobre o MDASH, que usa mais de 100 agentes de IA especializados para achar vulnerabilidades. Agora o FORGE Lab aplica a versão de pesquisa desse sistema, o Hyenas, a um alvo concreto: a biblioteca padrão do Rust. Em 11 de setembro de 2026, o CEVIU publicou "Rust Alcança Nível Tier-1 na Microsoft, Equiparando-se a Gigantes Como C++ e C#". A pesquisa nova parte justamente dessa adoção interna para examinar a base de código da linguagem.

Para quem opera software em Rust, a leitura é que memory safety depende da qualidade do código unsafe por baixo das APIs seguras. Isso não invalida o modelo da linguagem, mas pede atenção ao acompanhar as issues abertas e as versões da toolchain. Em 1 de maio de 2026, o CEVIU já havia mostrado, na matéria "Falhas Lógicas que o Rust Não Detecta", que Rust também não protege contra erros lógicos. Os dois casos juntos sugerem que a linguagem reduz uma classe grande de riscos, sem eliminar a necessidade de revisão e auditoria.