Confira !!
Uma das séries de patches do Linux que está em andamento há anos em conjunto com as alterações do lado do compilador Clang e já é responsável por expor centenas de bugs do kernel é o KernelMemorySanitizer (KMSAN). Foi enviada hoje a série de patches mais recente trabalhando na infraestrutura do kernel para detectar problemas de memória não inicializada.
KernelMemorySanitizer é para encontrar erros em torno do uso de memória não inicializada e depende de instrumentação LLVM/Clang em tempo de compilação. O código Clang KMSAN remonta a 2018 e, nos últimos anos, houve várias séries de patches para a infraestrutura do kernel KMSAN.
Alexander Potapenko, do Google, enviou hoje a mais recente série de patches para essa infraestrutura do kernel. Mesmo por ainda não estar no mainline, o KMSAN conseguiu descobrir centenas de problemas legítimos do kernel. Potapenko observou, " O KMSAN relatou mais de 300 bugs nos últimos anos, a maioria deles com a ajuda do syzkaller. Esses bugs continuam sendo introduzidos no kernel apesar dos novos avisos do compilador e outras análises (o ciclo 5.16 já resultou em vários KMSAN -bugs relatados). Mitigações como pilha total e inicialização de heap estão, infelizmente, muito longe de serem implantáveis. O conjunto de patches proposto contém implementação de tempo de execução do KMSAN juntamente com pequenas alterações em outros subsistemas necessários para fazer o KMSAN funcionar. "
Os bugs recentemente descobertos pelo KMSAN podem ser encontrados em sizbot para os interessados.
A infraestrutura do kernel atualmente consiste em mais de quatro mil linhas de novo código. Os interessados em aprender mais sobre o trabalho mais recente do KMSAN podem fazê-lo através da lista de discussão do kernel .
Nenhum comentário:
Postar um comentário