infer的安装

直接通过Homebrew进行安装

brew install infer

使用infer过程中遇到的问题及解决方案

问题1

问题描述

# 直接分析我这里没有成功infer run--skip-analysis-in-path Pods--no-xcpretty--keep-going--xcodebuild-workspace xxxx.xcworkspace-scheme xxxx-configuration Debug-sdk iphonesimulator# 使用上述分析命令会有编译失败的问题(已脱敏)**BUILDFAILED**Thefollowing build commands failed:这一段省略了...(8failures)InternalError:/usr/local/Cellar/infer/0.17.0/lib/infer/infer/bin/../lib/python/infer.py-j8--project-root/Users/xxx/Desktop/Code/xxx-iOS/xxx--out/Users/xxx/Desktop/Code/xxx-iOS/xxx/infer-out--xcodebuild-workspace xxx.xcworkspace-scheme xxx-configuration Debug-sdk  iphonesimulator:exited with code65Errorbacktrace:Raisedat file"string.ml",line145,characters16-31Calledfromfile"string.ml"(inlined),line149,characters17-46Calledfromfile"src/string.ml",line407,characters12-33Calledfromfile"src/string.ml",line416,characters11-33Re-raised at file"base/Die.ml",line26,characters8-56Calledfromfile"integration/Driver.ml",line171,characters2-16Calledfromfile"integration/Driver.ml",line272,characters6-409Calledfromfile"integration/Driver.ml",line323,characters2-29Calledfromfile"base/Utils.ml",line398,characters16-20Calledfromfile"scuba/ScubaLogging.ml",line66,characters29-44Calledfromfile"infer.ml",line20,characters2-36Calledfromfile"base/Utils.ml",line398,characters16-20Calledfromfile"scuba/ScubaLogging.ml",line66,characters29-44Calledfromfile"infer.ml",line137,characters8-54

解决办法：编译数据生成compile_commands.json文件，再对生成的数据文件进行分析，官方文档中也有说明The most robust way is to generate a compilation database, then pass that database to Infer，后面会给出完整命令，继续往下看

问题2

问题描述

Error message:clang-8: error: unknown argument: '-index-store-path'*** Infer needs a working compilation command to run.

clang-8: error: unknown argument: '-index-store-path'错误

分析：由于从Xcode 9.0开始将-index-store-path参数添加到构建命令中。而infer所依赖的clang还不支持此参数。在项目Build Setting中搜索index并将Enable Index-While-Building Functionality选项设置为NO

主工程设置如下图

1.jpg

Pods工程设置如下图

2.jpg

Infer needs a working compilation command to run.错误

解决方案：在分析命令中添加--no-xcpretty

在分析过程中由于一些错误会中断分析，可以在分析命令中添加--keep-going参数来忽略这些错误，继续分析

使用infer进行项目分析

未使用Pods工程的项目比较简单，命令如下

infer run -- xcodebuild -target-configuration-sdk iphonesimulator

使用了Pods工程的项目

# 进入项目根目录cd projectRootMenu# infer默认是增量编译，只会分析变动的代码，如果我们想整体编译的话，需要clean一下项目xcodebuild clean或者xcodebuild -workspace xxx.xcworkspace -scheme xxx -sdk iphonesimulator clean# 可以通过如下命令查看-sdk版本，如果使用iphoneos需要**检查证书**xcodebuild -showsdks# 分析项目命令步骤如下# 第1步：编译工程生成编译日志xcodebuild.log文件xcodebuild -workspace xxx.xcworkspace -scheme xxx -configuration Debug -sdk iphonesimulator | tee xcodebuild.log# 第2步：根据编译日志生成编译数据compile_commands.json文件xcpretty -r json-compilation-database -o compile_commands.json < xcodebuild.log > /dev/null# 第3步：基于编译数据compile_commands.json文件进行静态分析infer run --skip-analysis-in-path Pods --no-xcpretty --keep-going --compilation-database-escaped compile_commands.json

infer检测的错误类型说明

RESOURCE_LEAK资源泄漏

此问题在Java/C/OC都存在，资源代表文件、sockets连接等，使用后需要关闭

MEMORY_LEAK内存泄漏

项目代码全面启动了ARC进行内存管理，在OC层没有扫描出内存泄露。目前扫描出的内存泄露问题都是使用了malloc或者ralloc等c语言内存申请函数，在函数提前return前没有及时free

Retain cycle内存死锁只存在OC中，A 创造B，B也创造了A，然后你等我，我等你，都无法释放

NULL_DEREFERENCE空指针的错误

传参为0的情况下。例如代码中，在调用showAlertViewA()时，将tag传参为0，infer检测此处传0，判断为一个NULL空指针，所以爆出警告。这里可以理解为误报，不会出现问题。

通过malloc、calloc、realloc等函数申请内存，当内存不足时，有可能会在该函数中返回NULL，如果没有做NULL的判断，则infer会警告

在创建NSArray或者NSDictionary时，传入的参数有可能会nil。由于NSArray与NSDictionary不接受空指针，所以在对其addObject或者setObject:forKey: 时需要进行判断一下是否为nil

当一个对象声明后，没有初始化，就被引用了，这个时候会报空指针错误。

ASSIGN_POINTER_WARNING

由于在mrc时代，没有weak指针，所以一些view的属性声明是__unsafe__unretain__的形式，在arc中，这个属性被判断为assign，需要将其修改为weak或者strong

DIRECT_ATOMIC_PROPERTY_ACCESS

在代码中使用了使用了一个atomic的成员变量，infer建议我们将atomic修改为nonatomic。由于OC中，属性会被默认设置为atomic属性，我们需要显示将属性声明为nonatomic。

IVAR_NOT_NULL_CHECKED

在代码中调用block，运行代码时，没有做判空处理。即需要改动为，if(block){block()}

BAD_POINTER_COMPARISON

没有判断一个NSNumber类型的对象是不是空？

TAINTED_VALUE_REACHING_SENSITIVE_FUNCTION

代码中使用了cookie的value。可以理解为误报

PARAMETER_NOT_NULL_CHECKED

传参时没有判断是否为null，加一次判断就可以了

STRONG_DELEGATE_WARNING

将一个delegate属性设置为strong的类型。

PREMATURE_NIL_TERMINATION_ARGUMENT

没有判断是否为空

REGISTERED_OBSERVER_BEING_DEALLOCATED

创建一个对象后，监听了某些通知，但是没有在dealloc中释放该通知。项目中出现这种问题的类，基本都是单例，不会被销毁。

UNSAFE_CALL_TO_OPTIONAL_METHOD

This is a call to an@optionalprotocol method. Calling it without checking if its implemented

DEAD_STORE

未使用的变量

UNINITIALIZED_VALUE

值未初始化

POINTER_TO_CONST_OBJC_CLASS

const错误用法

RETAIN_CYCLE

循环引用

参考资料