Infer是一款静态代码检查工具, 最初由Monoidics(2009年成立、专门设计代码分析工具的公司)开发。
后来facebook收购了Monoidics公司,infer就成为了facebook的内部工具。后来facebook将infer开源了(https://github.com/facebook/infer)。
Infer 支持 Objective-C / Java / C代码。 Facebook主要利用Infer进行Android平台和iOS平台Objective-C代码的分析。
本文就来看下如何进行infer的安装及使用。
安装:
1. 安装相关的依赖
1) install opam
brew install opam, 需要点时间。
opam init -y --comp=4.01.0
eval $(opam config env)
opam update