The Checker Framework

рамка Checker подобрява тип система на Java. Това позволява на разработчиците на софтуер да откриват и предотвратяват грешки като нулеви показалецът изключения, непредвидени странични ефекти, SQL инжекции, грешки едновременност, погрешни тестове между половете, както и други грешки в реално време, които се появяват по време на изпитването или в областта на техните програми на Java. Рамката Checker включва компилатор на плъгини ("пулове"), които намират бъгове или проверка на тяхното отсъствие. Той също така ви позволява да напишете свой собствен компилатор плъгини.