The Checker Framework

Përshkrim

Korniza Checker përmirëson sistemin e tipit Java. Kjo i lejon zhvilluesit e programeve kompjuterike të zbulojnë dhe parandalojnë gabime si përjashtime të treguesve null, efekte anësore të paqëllimshme, injeksione SQL, gabime të njëkohshme, teste të gabuara të barazisë dhe gabime të tjera në kohën e ekzekutimit që shfaqen gjatë testimit ose në terren në programet e tyre Java. Kuadri Kontrollues përfshin shtojcat e përpiluesit ("damë") që gjejnë gabime ose verifikojnë mungesën e tyre. Gjithashtu ju lejon të shkruani shtojcat tuaja të përpiluesit.