Infer静态代码检查（一）

最近想做静态代码检查，考虑了以下几点，最终选择了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的自增/非自增的特性有关，后面在去研究下，并再写一篇文章