The Checker Framework

Tavsif

Checker Framework Java tipidagi tizimni yaxshilaydi. Bu dasturiy ta'minot ishlab chiquvchilariga o'zlarining Java dasturlarida test paytida yoki maydonda paydo bo'ladigan null ko'rsatkich istisnolari, kutilmagan nojo'ya ta'sirlar, SQL in'ektsiyalari, parallellik xatolari, xato tenglik testlari va boshqa ish vaqtidagi xatolarni aniqlash va oldini olish imkonini beradi. Checker Framework kompilyator plaginlarini ("tekshiruvchilar") o'z ichiga oladi, ular xatolarni topadi yoki ularning yo'qligini tasdiqlaydi. Shuningdek, u o'z kompilyator plaginlarini yozishga imkon beradi.