The Checker Framework

Die Raamwerk Checker verhoog Java se tipe stelsel. Dit laat die sagteware-ontwikkelaars te spoor en foute soos null pointer uitsonderings, onbedoelde newe-effekte, SQL inspuitings, concurrency foute, verkeerde gelykheid toetse en ander run-time foute wat tydens die toets of in die veld in hul Java programme verskyn voorkom. Die Checker raamwerk sluit samesteller plug-ins ("checkers") wat foute vind of verifieer hul afwesigheid. Dit laat ook jou eie samesteller plug-ins te skryf.