Infer - ferramenta de análise estática de código para Java/C/C++/Obj-C

Verifica NPE/NPD, vazamentos de memória/recursos etc.

Open source lançado pelo Facebook em 2015 e já usado em muitos lugares.

No Mac, pode ser instalado facilmente com o Homebrew.