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
Try Infer
Using Infer
Start with the Getting Started guide and our other docs to download and try Infer yourself.
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!
Who Uses Infer?
Does your app use Infer? Add it to this list with a pull request!




