Meta нашла 100 000 багов в production-коде статическим анализатором, который никогда не запускает программу
Infer от Meta использует abstract interpretation и bi-abduction для поиска null dereference, утечек памяти и race conditions, рассуждая о структуре кода, а не о его выполнении. Вот как это работает и как использовать в своей codebase.
