The Checker Framework

Açıklama

Checker Framework, Java'nın tür sistemini geliştirir. Bu, yazılım geliştiricilerin, Java programlarında test sırasında veya sahada görünen boş gösterici istisnaları, istenmeyen yan etkiler, SQL enjeksiyonları, eşzamanlılık hataları, hatalı eşitlik testleri ve diğer çalışma zamanı hataları gibi hataları algılamasına ve önlemesine olanak tanır. Denetleyici Çerçevesi, hataları bulan veya yokluklarını doğrulayan derleyici eklentileri ("denetleyiciler") içerir. Ayrıca kendi derleyici eklentilerinizi yazmanıza da izin verir.