2 posts
Como executar análise estática formal no seu pipeline de CI usando Infer, com configs funcionais e trade-offs realistas.
Interpretação abstrata é o tipo de termo que faz engenheiros fechar a aba. Soa como algo que você precisa de um semestre de teoria de reticulados para…
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…