Infer - Java/C/C++/Obj-Cコード向け静的解析ツール

NPE/NPD、メモリ/リソースリークなどを確認可能。

Facebookが2015年に公開したオープンソースで、すでに多くの場所で利用されている。

MacではHomebrewで簡単にインストール可能。