简介

Infer是Facebook最新开源的静态程序分析工具，用于在发布移动应用之前对代码进行分析，找出潜在的问题。目前Facebook使用此工具分析Facebook的App，包括Android、iOS、Facebook Messenger和Instagram等。

Facebook称该工具帮助其每个月检查出应用潜在的数百个Bug，例如一些空指针访问、资源和内存泄漏等。Infer支持Android的Java和iOS的C和Objective-C代码。

官方地址

https://github.com/facebook/infer

安装步骤

（官方手册：https://github.com/facebook/infer/blob/master/INSTALL.md#pre-compiled-versions）

以下是我摸索过后，成功安装及步骤，期间在安装opam时被折磨了很久...

下载源码（注意不要有中文路径名）
源码下载地址：https://github.com/facebook/infer/releases/tag/v0.9.0
如下图，选择osx最新的安装包并下载

安装包下载
安装opam

brew install opam

config
3.1 将第一步下载的tar.xz文件解压
3.2 进入解压后的文件夹
3.3 依次执行以下命令

opam update #这个时间比较长

opam pin add --yes --no-action infer .

opam install --deps-only infer

执行过程中如果提示merlin没有安装，需要依次执行以下命令

opam pin add -y merlin 'https://github.com/the-lambda-church/merlin.git#reason-0.0.1'
opam pin add -y merlin_extend 'https://github.com/let-def/merlin-extend.git#reason-0.0.1'
opam pin add -y reason 'https://github.com/facebook/reason.git#0.0.6'

./autogen.sh
./configure
make # or make java

将这个目录拷贝到一个不常被修改的地方，执行以下命令，添加到环境变量

echo "export PATH="$PATH:pwd/infer/infer/bin"" >> ~/.bash_profile && source ~/.bash_profile

命令执行过程中，如果遇到错误：fatal error: 'stdio.h' file not found，这是因为xcode-comand-line 没有安装好，执行脚本安装

xcode-select --install

安装成功提示：

Infer使用

分析iOS代码

参考地址：http://infer.liaohuqiu.net/docs/analyzing-apps-or-projects.html

分析xcode代码(源码路径不能有中文)

首先用cd命令进入ios_hello目录，然后运行以下命令进行编译

infer — xcodebuild -target HelloWorldApp -configuration Debug -sdk iphonesimulator

注意：其中HelloWorldApp是你的项目名称

编译结果

1: 在项目所在目录下多出build和infer-out文件夹

编译后
build文件夹：捕获阶段: Infer 捕获编译命令(上面介绍的编译器命令)，将文件翻译成 Infer 内部的中间语言。运行环境和设备信息也有所体现。

infer-out文件夹：分析阶段产生的文件，Infer将分析bugs结果输出到不同格式文件中，如csv、txt、json 方便对分析结果进行加工分析。

2: 运行后在终端会看到大量日志信息(同infer-out文件，可以以多种形式查看log信息)

代码分析

增量模式和非增量模式

在第一次运行的时候，两种模式是一样的，都会对工程的所有文件进行编译检查，产生检查结果:
增量模式：当已经产生分析结果后（build和infer-out文件夹），再执行编译命令，即为增量模式。如有代码没有改动，则此次不会有编译结果产生，如果代码有新的改动，此次只产生新的编译结果。这种以增量为基准的原则叫做增量模式。
非增量模式：在删除了俩个文件夹的情况下，运行文件，会输出所有的编译信息，即此时处于非增量模式。

增量模式和非增量模式的转化
1:简单粗暴的做法是删除文件夹，即增量－>非增量
2:科学的做法是这样的：xcodebuild -target HelloWorldApp -configuration Debug -sdk iphonesimulator clean，以保证增量－>非增量状态