Greg Kroah-Hartman, respons\u00e1vel pela manuten\u00e7\u00e3o das ramifica\u00e7\u00f5es est\u00e1veis e de \"staging\" do n\u00facleo Linux e atuando como mantenedor em 16 subsistemas do n\u00facleo, fez uma apresenta\u00e7\u00e3o na confer\u00eancia Rust Week 2026, na qual discutiu como a linguagem Rust pode ajudar a prevenir a introdu\u00e7\u00e3o de vulnerabilidades no n\u00facleo, provocadas por erros comuns de programadores na linguagem C, relacionados com gerenciamento de mem\u00f3ria, bloqueios, tratamento de erros e manipula\u00e7\u00e3o de dados n\u00e3o confi\u00e1veis. A principal vantagem do Rust \u00e9 a sua capacidade de detectar esses erros na fase de compila\u00e7\u00e3o, e n\u00e3o na revis\u00e3o de c\u00f3digo feita por humanos. No entanto, o Rust n\u00e3o \u00e9 visto como uma panaceia que possa resolver todos os problemas, e ningu\u00e9m planeja reescrever o n\u00facleo em Rust: espera-se uma ado\u00e7\u00e3o gradual do Rust atrav\u00e9s da sua aplica\u00e7\u00e3o em novos drivers e subsistemas.<\/p>\n
Como exemplo de erros no n\u00facleo que poderiam ser evitados com o uso do Rust, foi citada uma falha no subsistema Bluetooth que passou despercebida por 15 anos, al\u00e9m de um problema no hipervisor Xen. No primeiro caso, o desenvolvedor realizou uma desreferencia\u00e7\u00e3o de ponteiro sem checagem, e no segundo, esqueceu de liberar um bloqueio no c\u00f3digo de tratamento de erros.
\nSegundo Greg, a maioria dos erros no n\u00facleo \u00e9 causada por essas pequenas falhas que se acumulam ao longo do tempo e emergem como vulnerabilidades. No Rust, muitos desses problemas s\u00e3o evitados pelo compilador; por exemplo, as abstra\u00e7\u00f5es de bloqueio do Rust no n\u00facleo permitem o acesso a ponteiros internos de estruturas somente ap\u00f3s a aquisi\u00e7\u00e3o do bloqueio apropriado, que \u00e9 liberado automaticamente. Sem a aquisi\u00e7\u00e3o do bloqueio, n\u00e3o \u00e9 poss\u00edvel acessar ponteiros de estruturas em Rust. <\/p>\n
Greg acredita que funcionalidades como essas do Rust teriam evitado 60% dos erros encontrados no n\u00facleo, e as checagens feitas pelo compilador economizariam tempo dos mantenedores na discuss\u00e3o com os autores sobre a corre\u00e7\u00e3o do tratamento de erros e a adequa\u00e7\u00e3o da aplica\u00e7\u00e3o de bloqueios nos locais corretos. Al\u00e9m disso, a implementa\u00e7\u00e3o do suporte ao Rust j\u00e1 teve um efeito ben\u00e9fico tamb\u00e9m no c\u00f3digo em C do n\u00facleo, devido \u00e0 limpeza do c\u00f3digo em C e das interfaces, bem como ao empr\u00e9stimo de algumas t\u00e9cnicas de desenvolvimento (por exemplo, foram implementados bloqueios com escopo limitado).<\/p>\n
Gra\u00e7as ao sistema de tipos, que garante a conformidade com as regras definidas, e \u00e0 aplica\u00e7\u00e3o de sistemas de integra\u00e7\u00e3o cont\u00ednua que verificam o c\u00f3digo na fase de compila\u00e7\u00e3o, ao revisar altera\u00e7\u00f5es no Rust, os revisores podem se concentrar na verifica\u00e7\u00e3o da l\u00f3gica de funcionamento, em vez de acompanharem manipula\u00e7\u00f5es de recursos. A utiliza\u00e7\u00e3o do Rust tamb\u00e9m permite uma abordagem mais cuidadosa em rela\u00e7\u00e3o aos dados provenientes de hardware ou sistemas externos. Isso \u00e9 alcan\u00e7ado por meio da clara distin\u00e7\u00e3o entre dados confi\u00e1veis e n\u00e3o confi\u00e1veis no n\u00edvel do sistema de tipos: o desenvolvedor precisa apenas realizar uma an\u00e1lise ao transitar de um estado n\u00e3o confi\u00e1vel para um confi\u00e1vel.<\/p>\n
Recentemente, a equipe respons\u00e1vel pela seguran\u00e7a do n\u00facleo tem publicado cerca de 13 relat\u00f3rios de vulnerabilidades todos os dias, o que, em compara\u00e7\u00e3o com a din\u00e2mica anterior de identifica\u00e7\u00e3o de vulnerabilidades, \u00e9 visto como uma esp\u00e9cie de loucura (por exemplo, ontem foram publicados 277 relat\u00f3rios de vulnerabilidades no n\u00facleo). De acordo com Greg, o uso do Rust \u00e9 uma das maneiras reais de reduzir o n\u00famero de erros no n\u00facleo causados por equ\u00edvocos tradicionais no tratamento de erros e na gest\u00e3o de recursos. No n\u00facleo, o suporte ao Rust j\u00e1 ultrapassou os limites do experimento e, no final do ano passado, foi reconhecido como uma funcionalidade oficial do n\u00facleo. <\/p>\n
![\"Por](\"https:\/\/img.youtube.com\/vi\/0vhGWclF7LU\/hqdefault.jpg\")
\r\n