The Checker Framework 1.6.4
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ų...