The Checker Framework

Опис

Checker Framework го подобрува типовиот систем на Java. Ова им овозможува на развивачите на софтвер да откријат и спречат грешки како исклучоци од нула покажувач, ненамерни несакани ефекти, инјекции на SQL, грешки во истовременост, погрешни тестови за еднаквост и други грешки во времето на извршување што се појавуваат за време на тестирањето или на терен во нивните Java програми. Рамката за проверка вклучува додатоци за компајлерите („проверки“) кои наоѓаат грешки или го потврдуваат нивното отсуство. Исто така, ви дозволува да напишете свои додатоци за компајлерот.