typetools/checker-framework

An easy-to-learn/use static analysis framework for Java and Android

Catch common Java mistakes as compile-time errors

JPF is an extensible software analysis framework for Java bytecode. jpf-core is the basis for all JPF projects; you always need to install it. It contains the basic VM and model checking infrastructure, and can be used to check for concurrency defects like deadlocks, and unhandled exceptions like NullPointerExceptions and AssertionErrors.

Testing tools for javac and annotation processors

An artifact of fully-specified annotations to power static-analysis checks, beginning with nullness analysis.

Manifold is a Java compiler plugin, its features include Metaprogramming, Properties, Extension Methods, Operator Overloading, Templates, a Preprocessor, and more.

Checkstyle is a development tool to help programmers write Java code that adheres to a coding standard. By default it supports the Google Java Style Guide and Sun Code Conventions, but is highly configurable. It can be invoked with an ANT task and a command line program.

A tool to help eliminate NullPointerExceptions (NPEs) in your Java code with low build-time overhead

Soot - A Java optimization framework