Android and Java
Infer reports null pointer exceptions and resource leaks in Android and Java code.
C, C++, and iOS/Objective-C
Infer also reports memory leak problems in C, C++, and Objective-C code.
Infer in Action
Infer is still evolving, and we want to continue to develop it in the open.
We hope it will be useful for other projects, so please try it out or contribute to it, join the community and give us feedback!