The Checker Framework

De Checker Framework verhoogt Java's soort systeem. Dit laat softwareontwikkelaars detecteren en fouten, zoals null pointer uitzonderingen, onbedoelde neveneffecten, SQL injecties, concurrency fouten, verkeerde testen gelijkheid, en andere run-time fouten die tijdens het testen of in het veld in hun Java-programma's lijken te voorkomen. De Checker Framework bevat compiler plug-ins ("checkers") die bugs vinden of te controleren hun afwezigheid. Het laat u ook uw eigen compiler plug-ins te schrijven.