infer

infer是facebook开源的Java，C，C++以及Object-C的静态分析工具