歡迎來到Linux教程網
Linux教程網
Linux教程網
Linux教程網
您现在的位置: Linux教程網 >> UnixLinux >  >> Linux編程 >> Linux編程

Java靜態代碼分析工具Infer

一、Infer介紹

Infer是Facebook最新開源的靜態程序分析工具,用於在發布移動應用之前對代碼進行分析,找出潛在的問題。目前Facebook使用此工具分析Facebook的App,包括Android、iOS、Facebook Messenger和Instagram等。

Facebook稱該工具幫助其每個月檢查出應用潛在的數百個Bug,例如一些空指針訪問、資源和內存洩漏等。Infer支持Android的Java和iOS的C和Objective-C代碼。

Infer在GitHub的主頁: https://github.com/facebook/infer

二、Infer使用

1、頂層命令
infer
運行Infer的主要命令。它其實是一個python腳本。
inferTest
運行Infer的測試的Shell腳本。它使用Buck來運行測試。
 用法:inferTest {c, objc, java}
 inferTraceBugs
是一個Python腳本,用於在Infer測試報告中流量錯誤、跟蹤錯誤。

2、輔助命令
InferJava:包含Java前端的二進制程序
InferClang:包含Clang前端的二進制程序
InferAnalyze:包含Infer後端(執行分析)的二進制程序
InferPrint:輸出分析結果(例如發現的bug列表等)的二進制程序
inferJ:運行Java文件分析的命令
BuckAnalyze:運行用Buck編譯的Java項目的分析命令
inferlib.py:Python庫的其它腳本
utils.py:Python庫的其它腳本
jwlib.py:Python庫的其它腳本

三、Infer的安裝

 官方提供了預編譯好的Infer工具,但只支持Linux和MacOS兩個平台。如果願意使用Infer,直接下載使用即可。
 否則,需要下載源碼,自己編譯。

1、下載Infer
可以從Git倉庫下載Infer,命令:

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

說明:如果要分析C和Objective-C,Infer還需要clang以及facebook-clang-plugin插件。
facebook-clang-plugin插件見: https://github.com/facebook/facebook-clang-plugins
如果只想分析Java/Android代碼,那麼無需以上的依賴庫。

2、Infer在Linux的安裝
 先決條件:需要Python 2.7以上版本

 安裝指令:
 (以下安裝過程在Debian 7、Ubuntu 14.04以及Ubuntu 12.04.4 LTS等系統中驗證通過)

1. 安裝OCaml依賴

  1. # sudo apt-get update
  2. # sudo apt-get upgrade
  3. # sudo apt-get install git openjdk-7-jdk m4 zlib1g-dev python-software-properties build-essential libgmp-dev libmpfr-dev libmpc-dev unzip
  4. # wget https://github.com/ocaml/opam/releases/download/1.2.2/opam-1.2.2-x86_64-Linux -O opam
  5. # chmod +x opam
  6. # ./opam init --comp=4.01.0 # 然後在最後一個問題處按下“y”
  7. # eval `./opam config env`
  8. # ./opam install sawja.1.5 atdgen.1.5.0 javalib.2.3 extlib.1.5.4 # 然後在問題處按下“y”

2. 如果需不要支持C和Objective-C代碼的靜態分析,繼續下面的指令:

  1. # cd infer
  2. # make -C infer java
  3. # export PATH=`pwd`/infer/bin:$PATH

注意:不支持Java 8

3. 如果需要既支持Java代碼,又支持C和Objective-C代碼,那麼不要執行上面的第2步,改為執行這裡的第3步。
假定以及安裝了4.7.2以上版本的GCC(如果OS是Ubuntu 12.04.4 LTS,那麼你已經安裝了gcc 4.8版和g++ 4.8版。
接著執行以下的指令:

  1. # sudo apt-get install python-software-properties
  2. # sudo add-apt-repository ppa:ubuntu-toolchain-r/test
  3. # sudo apt-get update
  4. # sudo apt-get install gcc-4.8 g++-4.8
  5. # sudo update-alternatives --install /usr/bin/gcc gcc /usr/bin/gcc-4.8 60 --slave /usr/bin/g++ g++ /usr/bin/g++-4.8

4. 然後繼續

  1. # cd infer
  2. # ./update-fcp.sh
  3. # ../facebook-clang-plugin/clang/setup.sh # go have a coffee :)
  4. # ./compile-fcp.sh
  5. # make -C infer
  6. # export PATH=`pwd`/infer/bin:$PATH


四、Infer的另一種安裝

1、下載
還可以直接下載二進制發行包
Mac OS X版本的: https://github.com/facebook/infer/releases/download/v0.1.0/infer-osx-v0.1.0.tar.xz
Linux發行包: https://github.com/facebook/infer/releases/download/v0.1.0/infer-linux64-v0.1.0.tar.xz

2、安裝
解壓二進制發行包

  1. # tar xf infer-linux64-v0.1.0.tar.xz

然後會建立infer-linux64-v0.1.0目錄,Infer主要的可執行程序位於infer-linux64-v0.1.0/infer/infer/bin目錄。

3、把Infer添加到PATH環境變量中

  1. # cd infer-linux64-v0.1.0 &&
  2. # echo "export PATH=\"\$PATH:`pwd`/infer/infer/bin\"" \ >> ~/.bash_profile &&
  3. # source ~/.bash_profile

Copyright © Linux教程網 All Rights Reserved