facebook的infer檢測工具的安裝

原因

因爲公司產出代碼的時候會使用靜態掃描工具檢測代碼的質量，因此本身就想動手嘗試一番infer整個的使用方式和使用效果，便動手安裝了infer,結果安裝過程當中碰見太多的坑，致使不少時候都安裝失敗，這篇文章主要就是爲記錄各個坑而產生的

infer提供了在Mac和linux下安裝的教程，我所使用的是Mac，因此在這裏只介紹在Mac下的安裝

首先是環境要求：

• opam >= 1.2.0
• Python 2.7
• 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)

介紹安裝：

• 在安裝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

• 安裝clang

xcode-select --install

• 配置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

• 安裝JDK(我在這一步犯了很大的錯誤，我覺得mac默認已經安裝了JDK環境的，結果最後才知道個人電腦沒有安裝....)

[官方地址] ：http://www.oracle.com/technetwork/java/javase/downloads/index.html

接下來是最主要的工做，也是很漫長的工做

安裝infer

克隆infer的git地址：

git clone https://github.com/facebook/infer.git

cd infer

git submodule update --init --recursive

安裝clang工具：

這裏有兩個須要注意的點： 一是在shell腳本里面是須要安裝cmake工具的，因此你須要用到命令行： brew install cmake

二是整個過程大概10幾20分鐘，能夠睡個覺~

facebook-clang-plugins/clang/setup.sh

接下來：

如下兩步爲原始答案：(可是我不管怎麼試都是提示命令找不到)

1. ./compile-fcp.sh
2. make -C infer

因此只能另闢蹊徑：

查閱官方文檔：

https://github.com/facebook/infer/blob/master/INSTALL.md

得知使用下列命令能夠解決：

./build-infer.sh clang(有可能還須要升級： 使用opam update)

參考連接：

1. http://blog.csdn.net/elisa1988/article/details/46531745
2. http://infer.liaohuqiu.net/docs/getting-started.html
3. http://blog.csdn.net/itfootball/article/details/46474235
4. http://www.cnblogs.com/hlfme/p/4623551.html