The Checker Framework

Təsvir

Checker Framework Java tipli sistemini təkmilləşdirir. Bu, proqram tərtibatçılarına test zamanı və ya Java proqramlarında sahədə yaranan null göstərici istisnaları, gözlənilməz yan təsirlər, SQL inyeksiyaları, paralellik xətaları, səhv bərabərlik testləri və digər işləmə vaxtı xətaları kimi səhvləri aşkar etməyə və qarşısını almağa imkan verir. Checker Framework-ə səhvləri tapan və ya onların yoxluğunu təsdiqləyən kompilyator plaginləri ("dama") daxildir. O, həmçinin öz kompilyator plaginlərinizi yazmağa imkan verir.