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