Meta Encontrou 100.000 Bugs em Código de Produção com um analyzer Estático que Nunca Executa o Programa
O Infer da Meta usa interpretação abstrata e bi-abdução para encontrar desreferências nulas, vazamentos de memória e race conditions ao raciocinar sobre a estrutura do código, não sobre sua execução. Veja como funciona e como usá-lo em sua própria codebase.
A Meta enviou mais de 100.000 correções de bugs que foram capturadas por um analyzer estático antes que o código chegasse a um usuário. A ferramenta se chama…