Infer is an advanced static analyzer for deep interprocedural analysis. It can find nontrivial potential NullPointerException problems that simpler, online nullity inference may miss. section 5.1.3
Use Infer when code spans multiple methods or includes unannotated and legacy components. Treat its findings as potential defects requiring review, rather than as proof that every flagged path fails. section 5.1.3
A nontrivial null path
A method may trim an input and return null for an empty result; downstream code that assumes a non-null return can create a potential NullPointerException. Infer targets this kind of cross-method nullity problem. section 5.1.3
