Google usa Gemini para portar giflib em Rust e eliminar falhas de memória

Times de segurança do Google validaram um caminho para reduzir vulnerabilidades de memória em código legado ao usar o Gemini para traduzir bases em C para equivalentes em Rust. O projeto focou no giflib, biblioteca de processamento de imagens com cerca de 3.000 linhas que costuma decodificar entrada não confiável sem sandboxing, substituindo a shared object por uma versão em Rust compatível com ABI.

A migração foi feita com um processo automatizado em três etapas: uma conversão inicial com prompt único do Gemini, ajustes manuais para corrigir semânticas de ponteiros na FFI e testes diferenciais para identificar divergências e gerar correções iterativas. A validação incluiu regressão em mais de 30 milhões de GIFs e fuzzing diferencial por seis dias (200 milhões de iterações), além de confirmar imunidade a uma falha de heap out-of-bounds catalogada como CVE-2026-26740 antes da divulgação pública.