Infer

Facebook産の静的解析ツール
- iOSとAndroidをターゲットとしている。
- メモリリークやNull Dereference等を検出できる。
- 検出できる項目は infer-bug-types を参照。
その他、詳しいことは、facebookのInferに関する投稿を参照。

Download & Install

コメントにいただきました通り、brew caskから削除されてしまったようです。。。opamを使うしかなさそうです。

brew cask install infer だけで終わり。
見つからなかった場合は brew cask update すれば見つかるはず。

INSTALL.mdには、パッケージ管理マネージャであるopamをインストールし、opamを用いて必要なパッケージをインストールする方法が記載されている(2015年7月1日時点)。

$brew install opam
$git clone https://github.com/facebook/infer.git
$opam init --comp=4.01.0
$eval `opam config env`
$opam install sawja.1.5 atdgen.1.5.0 javalib.2.3a extlib.1.5.4
$cd infer
$./update-fcp.sh && ../facebook-clang-plugin/clang/setup.sh && ./compile-fcp.sh
$make -C infer
$export PATH=`pwd`/infer/bin:$PATH

inferにxcodebuildを食わせる。
$infer -- xcodebuild -project [project].xcodeproj -configuration Debug -sdk iphoneos

inferコマンドを実行すると、infer-outディレクトリが生成される。
infer-outディレクトリ内には、実行結果や実行ログがテキストファイルで保存されている。
infer-out/bugs.txt に静的解析により検出された項目が記載される。

block構文やdelegeteメソッドでNull Dereferenceを検出してしまう静的解析ツールもあるが、Inferでは検出されなかったのが好印象。