The Checker Framework

যাচাইকারী ফ্রেমওয়ার্ক জাভা এর টাইপ সিস্টেম বাড়ায়. এই সফটওয়্যার ডেভেলপারদের সনাক্ত করা এবং পরীক্ষার সময় বা তাদের জাভা প্রোগ্রাম ক্ষেত্রের মধ্যে প্রদর্শিত নাল পয়েন্টার ব্যতিক্রম, অনিচ্ছাকৃত পার্শ্ব প্রতিক্রিয়া, এসকিউএল ইঞ্জেকশন, concurrency ত্রুটি, ভুল সমতা পরীক্ষা, এবং অন্যান্য চালানোর সময় ত্রুটি মত সমস্যা প্রতিরোধ করতে দেয়. যাচাইকারী ফ্রেমওয়ার্ক কম্পাইলার প্লাগইন বাগ খুঁজে অথবা তাদের অনুপস্থিতি যাচাই যে ("চেকারস") অন্তর্ভুক্ত করা হয়েছে. এটা আপনার নিজের কম্পাইলার প্লাগ-ইনের লিখতে আপনাকে অনুমতি দেয়.