Google's ErrorProne, https://github.com/google/error-prone/tree/master/core/src/m...

Bill Pugh's FindBugs, http://findbugs.sourceforge.net/bugDescriptions.html

The checker framework is also nice for helping with thread safety. https://checkerframework.org/ its an extend type system for the Java Language using annotated variables and methods. Its really nice and helped catch quite a few subtle bugs at low cost.

Infer has a thread-safety checker that identifies races in classes annotated with `@ThreadSafe` (http://fbinfer.com/docs/experimental-checkers.html).

Not Java, but C# http://parallel-checker.com/

Intellij has similar inspections using annotations.