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