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