Android and Java
Infer reports null pointer exceptions and resource leaks in Android and Java code.
iOS and Objective-C
Infer also reports memory leak problems in iOS and 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!