https://www.jianshu.com/p/04a752c35fec
静态分析有时候需要根据是上下文来分析报错的代码，还有一些其他的静态扫描工具：Clang Static Analyzer、OCLint、Infer 等。Clang Static Analyzer 和 Xcode 集成度更高，支持命令行形式，并且能够用于持续集成。OCLint 有更多的检查规则和定制。Infer 效率高，规模大，几分钟就能扫描数千行代码，支持增量和非增量分析；分解分析，整合输出结果。
下面这篇文章可以了解学习更多静态分析工具：
