infer是Facebook的Infer是一个静态分析工具。可以分析Objective-C，Java或者C代码，报告潜在的问题。 infer­项...