The Checker Framework 1.6.4
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...