Meta добавили в Infer новый статический анализатор, который умеет находить дедлоки в Java коде без его запуска. Ключевая особенность в том, что он хорошо умеет работать с огромными кодовыми базами. Особенно рекомендую почитать подробную бумагу с деталями реализации алгоритма его работы.