The Checker Framework

Описание

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