Infer的使用方法及参数

infer主要用来分析空指针及内存泄露等较为严重的bug， 支持java/c/object-c/等语言及android/ios应用的检查， 不支持c++。

For java:infer -- javac Hello.java

For object-c:infer -- clang -c Hello.m

For c:infer -- gcc -c hello.c (实际上infer使用的是infer -- clang -c hello.c)

infer -- make 也是可以的， 如果支持make的话

For android: infer -- gradle build

For iOS:infer -- xcodebuild -target HelloWorldApp -configuration Debug -sdk iphonesimulator

实际上infer是通过分析编译的命令来决定分析哪些文件的， 所以对于增量编译（e.g. gradle/make/xcodebuild）同样的代码， 第二次使用infer的时候， 不会有任何输出，因为没有任何文件发生改变而出发编译。而且infer会将第一次编译时生成的结果目录删除。要保留第一次的结果目录， 使用 --incremental参数即可。

目前Infer支持的bug类型，都是些重量级的bug。

Bugs reported in Java：

Resource leak 

Null dereference Bugs 

reported in C and Objective-C

Resource leak 

Memory leak 

Null dereference 

Parameter not null checked 

Ivar not null checked 

Premature nil termination argument 

Bugs reported only in Objective-C 

Retain cycle