Facebook/infer-linter Static Code Analysis

Linter analysis to find out the source of bugs caused by grammatical errors, typographical errors, or incorrect data types. Infer also supports such a simple analysis, just add a parameter-a checkers can command

Infer-a checkers-i--xcodebuild-target helloworldapp-configuration debug-sdk iphonesimulator

We have a linter check on iOS

58demacbook-pro:ios_hello wuxian$ infer-a checkers-i--xcodebuild-target helloworldapp-configuration debug-sdk Iphon Esimulator Build 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 Configurat ION Debug = = = Check Dependencies * * BUILD succeeded * * Starting analysis (infer version v0.1.0) analysis done 4 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:209 58demacbook-pro:ios_hello wuxian$ infer-a checkers-i--Xcodebuild-target H Elloworldapp-configuration debug-sdk iphonesimulator Build 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 Configurat ION Debug = = = Check Dependencies * * BUILD succeeded * * Starting analysis (infer version v0.1.0) analysis done 4 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:209 58demacbook-pro:ios_hello wuxian$

The

Obvious questions are different from the previous one.