The Checker Framework 1.6.4
Khung Checker giúp tăng cường hệ thống kiểu Java. Điều này cho phép các nhà phát triển phần mềm phát hiện và ngăn chặn các lỗi như trường hợp ngoại lệ vô trỏ, tác dụng phụ ngoài ý muốn, tiêm SQL, lỗi đồng thời, kiểm tra bình đẳng nhầm, và các lỗi thời...