FaceBook/infer-linter靜態程式碼分析

Linter 分析，揪出因語法錯誤、打字錯誤或資料類型錯誤而引起的bug源頭.Infer也支援這樣簡單的分析，只需要加一個參數-a checkers就可以 命令

infer -a checkers -i -- xcodebuild -target HelloWorldApp -configuration Debug -sdk iphonesimulator

我們對iOS相對進行linter檢查

58deMacBook-Pro:ios_hello wuxian$ infer -a checkers -i -- xcodebuild -target HelloWorldApp -configuration Debug -sdk iphonesimulatorBuild settings from command line:    CC = /Users/wuxian/Downloads/infer-osx-v0.1.0/infer/infer/bin/../lib/capture/clang    CPLUSPLUS = /Users/wuxian/Downloads/infer-osx-v0.1.0/infer/infer/bin/../lib/capture/clang++    DEBUG_INFORMATION_FORMAT = 'dwarf'    LD = /usr/bin/true    LDPLUSPLUS = /usr/bin/true    LIPO = /usr/bin/true    SDKROOT = iphonesimulator8.2=== BUILD TARGET HelloWorldApp OF PROJECT HelloWorldApp WITH CONFIGURATION Debug ===Check dependencies** BUILD SUCCEEDED **Starting analysis (Infer version v0.1.0)Analysis done4 files analyzed/Users/wuxian/Downloads/infer-osx-v0.1.0/infer/examples/ios_hello/HelloWorldApp/main.m:13: error: CHECKERS_DEAD_CODE  Node not visited: 20958deMacBook-Pro:ios_hello wuxian$ infer -a checkers -i -- xcodebuild -target HelloWorldApp -configuration Debug -sdk iphonesimulatorBuild settings from command line:    CC = /Users/wuxian/Downloads/infer-osx-v0.1.0/infer/infer/bin/../lib/capture/clang    CPLUSPLUS = /Users/wuxian/Downloads/infer-osx-v0.1.0/infer/infer/bin/../lib/capture/clang++    DEBUG_INFORMATION_FORMAT = 'dwarf'    LD = /usr/bin/true    LDPLUSPLUS = /usr/bin/true    LIPO = /usr/bin/true    SDKROOT = iphonesimulator8.2=== BUILD TARGET HelloWorldApp OF PROJECT HelloWorldApp WITH CONFIGURATION Debug ===Check dependencies** BUILD SUCCEEDED **Starting analysis (Infer version v0.1.0)Analysis done4 files analyzed/Users/wuxian/Downloads/infer-osx-v0.1.0/infer/examples/ios_hello/HelloWorldApp/main.m:13: error: CHECKERS_DEAD_CODE  Node not visited: 20958deMacBook-Pro:ios_hello wuxian$

明顯提示出來的問題和之前是有區別的.