The Checker Framework

tikrintuvas pagrindų pagerina Java tipo sistemą. Tai leidžia programinės įrangos kūrėjams aptikti ir išvengti klaidų, pavyzdžiui, null rodyklė išimtis, nenumatyto pašalinio poveikio, SQL injekcijos, lygiagrečiai klaidų, klaidingų lygybės tyrimus, ir kitų run-time klaidų, kurios atsiranda per bandymus ar jų Java programų srityje. Tikrintuvas pagrindų yra kompiliatoriaus papildinius ("Šaškės"), kad radote klaidų ar patikrinti jų nebuvimą. Ji taip pat leidžia jums rašyti savo kompiliatoriaus plug-ins.