infer使用

简单文件分析

在examples目录下的README.md文件，讲解了如何编译分析文件和项目

编译分析Hello.m文件

infer -- clang -c Hello.m

编译分析HelloWorldApp项目

infer -- xcodebuild -target SearchCloth -configuration Debug -sdk iphonesimulator clean build

编译有workspace的项目

infer -- xcodebuild clean build -workspace SearchCloth.xcworkspace -scheme SearchCloth -configuration Debug -sdk iphonesimulator

infer-out文件介绍

http://infer.liaohuqiu.net/docs/advanced-features.html

返回的问题类型

Resource leak
Memory leak
Null dereference
Parameter not null checked
Ivar not null checked
Premature nil termination argument
Retain cycle
原文地址：http://infer.liaohuqiu.net/docs/infer-bug-types.html
中文参考地址：http://blog.csdn.net/itfootball/article/details/46493371

inferTraceBugs命令定位某个问题的具体信息

参考地址：http://blog.csdn.net/itfootball/article/details/46491407