Meta a trouvé 100 000 bugs dans du code de production avec un analyseur statique qui n'exécute jamais le programme
Infer de Meta utilise l'interprétation abstraite et la bi-abduction pour trouver les déréférencements nuls, les fuites de mémoire et les race conditions en raisonnant sur la structure du code, pas sur son exécution. Voici comment ça marche et comment l'utiliser sur votre propre codebase.
