最近想做静态代码检查，考虑了以下几点，最终选择了facebook 的infer作为主要研究对象：
- 开源
- 适用于android，ios等基于clang的编译工程
- 可以通过命令行，在Jenkins上进行持续集成
Infer环境搭建
我用的是Mac，且需要对iOS程序进行静态扫描，因此介绍下如何在mac进行环境搭建，当然infer还支持Linux，可以参考官方文档
https://github.com/facebook/infer/blob/master/INSTALL.md#install-infer-from-source
- 前期软件及环境
opam >= 1.2.0 (instructions here)
Python 2.7
pkg-config
libffi >= 3.0
Java (only needed for the Java 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)
Xcode >= 6.1 (only needed for the C/Objective-C analysis)
autoconf >= 2.63 and automake >= 1.11.1 (if building from git) - 安装infer
brew install infer
检查是否安装完成可以输入
192:ios_hello jc$ infer -version
Infer version v0.9.4
Copyright 2009 - present Facebook. All Rights Reserved.
若能够正常输出infer的版本则表明安装成功
- 安装遇到的坑
1.xcpretty插件
infer是运行是基于xcpretty，而xcpretty用于对xcodebuild的输出进行格式化，并包含输出report功能，因此需要安装xcpretty
2.xcpretty安装
gem install xcpretty
网上一般给出这个安装方法https://github.com/supermarin/xcpretty（官网）
但实际安装会报错
a.报错提示：
ERROR:While executing gem ... (Gem::FilePermissionError) You don't have write permissions for the /Library/Ruby/Gems/2.0.0 directory.我采取的做法是把权限修改过
解决办法：
来用命令sudo chmod 777 /Library/Ruby/Gems/2.0.0；然后就安装好了
b.修改完后，发现再次运行
gem install xcpretty
报错：
ERROR: While executing gem ... (Errno::EACCES)
Permission denied - /Library/Ruby/Gems/2.0.0/cache/activesupport-4.2.4.gem
解决办法：
sudo gem install xcpretty
自此完整的安装了xcpretty插件，可以进入下一个环境，适用官网提供的iOS demo。
iOS infer demo 运行
适用git 下载infer的源码https://github.com/facebook/infer
在源码中有个examples的文件夹，下面存放的是java，oc，c，android，xcode的demo
我们选择xcode的demo，通过命令行进入到改目录下：
如我的工程路径如下：
/Users/jc/Documents/InferWorkSpace/Infer/examples/ios_hello
然后再命令行中输入：
infer -- xcodebuild -target HelloWorldApp -configuration Debug -sdk iphonesimulator
然后infer就会进行执行
对应的路径下会产生infer-out文件夹，里面包含了中间文件及结果文件。
自此infer的环境基本搭建完成。
- 有个遗留问题
多次执行命名
infer -- xcodebuild -target HelloWorldApp -configuration Debug -sdk iphonesimulator
结果不正确，估计跟infer的自增/非自增的特性有关，后面在去研究下，并再写一篇文章
