開始使用

依賴配置

https://github.com/facebook/infer/blob/master/INSTALL.md#how-to-compile-and-install-infer

下載

安裝

在命令列，到下載目錄，解壓：

tar xf infer-*-v0.7.0.tar.xz

cd infer-*-v0.7.0./build-infer.sh

exportPATH=`pwd`/infer/bin:$PATH

Mac 下執行指令碼報錯找不到opam

需要使用brew 安裝下(如果沒有安裝brew,請執行：

/usr/bin/ruby -e "$(curl -fsSL https://raw.githubusercontent.com/Homebrew/install/master/install)"

使用brew 安裝opam及相關依賴，請執行:

brew install autoconf automake opam caskroom/cask/brew-cask

你可用通過在命令列執行 echo $SHELL 確定所使用的 shell。根據具體的情況調整上面的命令。

如果你是在 linux 中，如果 ~/.bash_profile 不存在的話，你也許需要把 ~/.bash_profile

Hello, World!

根據本頁的說明，你可以使用 Infer 嘗試檢查一些簡單的例子。你會看到 Infer 報告了一些問題，修復這些問題，再進行一次檢測，Infer 便不再報告問題。這將使得我們對 Infer 如何工作有一些初步的認識，更近一步的使用，可以參考使用者使用參考。

Hello world Java

以下是一個簡答的 Java 例子。

// Hello.java
classHello{
  inttest(){
    String s = null;
    return s.length();
  }
}
 

通過以下命令在 Hello.java 同級目錄執行 Infer。

infer -- javac Hello.java

你將會看到以下的報告輸出：

Hello.java:5: error: NULL_DEREFERENCE
  object s last assigned on line 4 could be null and is dereferenced at line 5  

編輯檔案，加入為空檢查：

  inttest(){
    String s = null;
    return s == null ? 0 : s.length();
  }

再次執行 Infer，這次，執行結果顯示 No issues found，未發現錯誤。

Hello world Objective-C

以下是一個簡單的 Objective-C 例子：

// Hello.m
#import <Foundation/Foundation.h>

@interfaceHello: NSObject
@property NSString* s;
@end

@implementationHello
NSString* m() {
    Hello* hello = nil;
    return hello->_s;
}
@end

infer -- clang -c Hello.m

以下是錯誤報告輸出：

Hello.m:10 NULL_DEREFERENCE
  pointer hello last assigned on line 9 could be null and is dereferenced at line 10, column 12

編輯，如下修正：

NSString* m() {
    Hello* hello = nil;
    return hello.s;
}

再次執行，No issues found， 沒有報錯。

Hello world C

一個簡單的 C 例子：

// hello.c
#include <stdlib.h>

voidtest(){
  int *s = NULL;
  *s = 42;
}

infer -- gcc -c hello.c

報錯輸出：

hello.c:5: error: NULL_DEREFERENCE
  pointer s last assigned on line 4 could be null and is dereferenced at line 5, column 10

編輯，修正：

voidtest(){
  int *s = NULL;
  if (s != NULL) {
    *s = 42;
  }
}

再次執行，不在彙報錯誤，問題修復。

在進行 C 檔案分析時，Infer 使用 gcc 命令並在內部執行 clang 來解析。

因此，你可能會得到一些和 gcc 不一樣的編譯器警告以及錯誤。以下命令等效的：