Checker Framework Support
Compatible with all products except MPS
The Checker Framework enhances Java type system to make it more powerful and useful. This lets software developers detect and prevent errors in their Java programs. The Checker Framework includes compiler plug-ins ("checkers") that find bugs or verify their absence.