1.工具介绍
Infer 是一个静态程序分析工具,可以对 Java、C 和 Objective-C 程序进行分析，此工具是用 OCaml写成的。https://github.com/facebook/infer
Infer 最早部署在 Facebook 内部，用于发布移动应用之前对每一行代码进行分析，目前 Facebook 使用此工具分析所开发的 Android、iOS 应用,包括 Facebook Messenger、Instagram 和其他一些应用。 Infer 不仅仅用于移动应用程序的分析，还可以分析 C、Java 等不是 Android 系统的代码。 目前 Infer 着重于发现一些诸如空指针的访问、资源和内存的泄露等导致手机程序崩溃或性能严重下降的问题。
2.环境要求
- Python 2.7
- opam (instructions [here](https://opam.ocaml.org/doc/Install.html#OSX))
- Java <= 1.7 (only needed for the Java analysis,Mac 纯净的安装了 OS X Yosemite 的话，其中是不会包含 Java 的,所以需要自己安装java）
- Xcode <= 6.3, >= 6.1 (only needed for the C/Objective-C analysis)
- clang in Xcode command line tools. You can install them with the command `xcode-select --install` (only needed for the C/Objective-C analysis)
1） 下载安装opam（https://opam.ocaml.org/doc/Install.html）
在安装opam前先安装brew,brew 又叫Homebrew，是Mac OSX上的软件包管理工具，能在Mac中方便的安装软件或者卸载软件， 只需要一个命令安装命令如下：curl -LsSf http://github.com/mxcl/homebrew/tarball/master | sudo tar xvz -C/usr/local --strip 1接着安装opam：sudo brew install opam # Homebrew, OSX Mavericks or later
2） 安装clang
- xcode-select --install
3) 配置opam
- opam init -y --comp=4.01.0
- eval `opam config env`
- opam install -y extlib.1.5.4 atdgen.1.6.0 javalib.2.3.1 sawja.1.5.1
4)安装java
- 打开终端输入：java -version
- 如果当前系统还没有装过 Java 的话，会收到 “No Java runtime present, requesting install.” 的提示信息。然后还会弹出“您需要安装 JDK 才能使用’java‘ 命令行工具”的信息。
- 点击“更多信息”就回进入 JDK 官方下载网站，之后就能在官网中下载到 Java 8 JRE 或者 Java 8 JKD。
3.安装infer
- git clone https://github.com/facebook/infer.git
- cd infer
- git submodule update --init --recursive
- facebook-clang-plugins/clang/setup.sh
- ./compile-fcp.sh
- make -C infer
- export PATH=`pwd`/infer/bin:$PATH
5.工程静态分析
分析APP:
infer -- xcodebuild -target <target name> -configuration <build configuration> -sdk <SDK>
示例检测HelloWorldApp工程：
infer -- xcodebuild -target HelloWorldApp -configuration Debug -sdk iphoneos8.3
需要使用 --incremental (或 -i) 使得增量编译有结果输出：
infer --incremental -- xcodebuild -target HelloWorldApp -configuration Debug -sdk iphoneos8.3
或者在编译前清理：
xcodebuild -target HelloWorldApp -configuration Debug -sdk iphoneos8.3 clean
ok，到这你就会看到你想看的结果.
参考文档：http://infer.liaohuqiu.net/docs/getting-started.html