The Checker Framework 1.6.4
The Checker Kerangka meningkatkan sistem tipe Jawa. Hal ini memungkinkan pengembang perangkat lunak mendeteksi dan mencegah kesalahan seperti pengecualian nol pointer, efek samping yang tidak diinginkan, suntikan SQL, kesalahan concurrency, tes kesetaraan...