Objective-Cプログラムを静的解析できる、LLVM/Clangの静的解析機能は、ふつーはscan-buildというコマンドを使って利用する。stepwiseからリンクされていたスライド（ちょっと重い）"Finding bugs in your code using LLVM/Clang with a single click"による…