 <blockquote> <p>The largest problem is that there it no knowing over the null behavior of the Java API.</p> </blockquote> <p>The lack of annotated libraries continues to be a problem with Eclipse's built in nullness cehcking.</p> <p>Another nullness-checking tool is the <a href="http://checkerframework.org/" rel="nofollow">Checker Framework</a>, which ships with thousands of annotated APIs from the JDK. The Checker Framework also does more accurate checking. Eclipse and FindBugs are bug detectors that find some null pointer errors, but the Checker Framework is a verifier that gives a guarantee of <a href="http://types.cs.washington.edu/checker-framework/current/checker-framework-manual.html#nullness-checker" rel="nofollow">no null pointer errors</a>. </p> <p>The Checker Framework has an Eclipse plugin. Eclipse' built-in nullness checking has slicker IDE integration, but you can use the Checker Framework Eclipse plugin if you want more powerful checking.</p>