You are here

Checker Java Framework by Checker Comments

The Checker Framework aims to enhance Java’s type system to make it more powerful and useful. This allows for software developers to detect and prevent errors in Java programs. The Checker Framework intends to include compiler plug-ins ("checkers") that find bugs or verify.