The Checker Framework 1.6.4
рамка Checker подобрява тип система на Java. Това позволява на разработчиците на софтуер да откриват и предотвратяват грешки като нулеви показалецът изключения, непредвидени странични ефекти, SQL инжекции, грешки едновременност, погрешни тестове между...