Greg Kroah-Hartman: Rust pode proteger o Linux dos riscos do código gerado por IA

Greg Kroah-Hartman, mantenedor estável do kernel Linux, considera o Rust fundamental para a segurança futura do sistema operacional. Ele ressalta, porém, que Rust não é mágica, e sim uma solução pragmática para eliminar uma classe inteira de vulnerabilidades.

Rust no kernel Linux

O Rust vem entrando no código-fonte do kernel Linux há alguns anos, e a integração está se acelerando. Kroah-Hartman enxerga isso como necessidade estratégica, não como modismo. O Rust permite escrever código de sistema com garantias de segurança muito mais fortes que as do C, linguagem em que está escrita a maior parte do kernel.

Proteção contra vulnerabilidades de IA

A nova ameaça é o código gerado por redes neurais. Quando o ChatGPT ou outros LLMs criam funções para o Linux, elas costumam conter erros clássicos: buffer overflows, use-after-free, race conditions. A revisão humana nem sempre os detecta. Já o Rust simplesmente não compila esse tipo de código: a linguagem obriga o desenvolvedor a reescrever construções perigosas.

Isso não significa que o código de IA será perfeito. Mas uma classe inteira das vulnerabilidades mais graves, que no código C exigem um code review minucioso, simplesmente não compila em Rust.

Como funciona

O Rust alcança segurança por vários mecanismos:

• Ownership e borrowing: sistema que garante que a memória seja sempre gerenciada com segurança
• Sem ponteiros nulos: o Rust não tem ponteiros nulos; usa-se o tipo Option no lugar
• Sistema de tipos: a tipagem estrita captura erros de lógica em tempo de compilação
• Panic em vez de comportamento indefinido: em vez de corromper a memória em silêncio, o Rust entra em pânico e registra o erro

Tudo isso significa que uma classe inteira de vulnerabilidades é simplesmente impossível em Rust. Não porque a linguagem seja mágica, mas porque seu design obriga o desenvolvedor a pensar em segurança desde o início.

"O

Rust obriga você a escrever código correto na primeira tentativa" é um princípio da comunidade, e é exatamente o que o Linux precisa.

Escala da integração

Kroah-Hartman não fala em reescrever todo o kernel em Rust. Isso é irreal e desnecessário. A estratégia, em vez disso, é adicionar gradualmente novos subsistemas em Rust onde for crítico: drivers, sistemas de arquivos, pilhas de rede. O velho código em C continuará convivendo com eles, mas os novos componentes ganharão as vantagens da linguagem.

O que isso significa

Integrar o Rust ao Linux não é uma escolha filosófica, e sim uma resposta prática a novas ameaças. O código gerado por IA não vai desaparecer; ele será cada vez mais incorporado ao desenvolvimento. O Linux, como alicerce da internet e de sistemas críticos, precisa se proteger: não de todos os erros (é impossível), mas dos mais perigosos. O Rust, embora não seja perfeito, dá ao Linux uma ferramenta poderosa para essa proteção.