jsr308-checkers-plugin

JSR-308 Checkers Plugin is a Maven 2 plugin which enables you to use JSR-308 checkers in your project. The plugin runs forked JVM doing additional verification of the source code. There are several predefined checkers available - nullness checker, immutability checker, interning checker, lock checker etc. For additional description, read the http://types.cs.washington.edu/checker-framework/current/checkers-manual.html