Infer - Outil d’analyse statique de code Java/C/C++/Obj-C

Permet de détecter les NPE/NPD, les fuites de mémoire/de ressources, etc.

Open source publié par Facebook en 2015, il est déjà utilisé dans de nombreux endroits.

Sur Mac, il peut être installé facilement avec Homebrew.