The Checker Framework

Maelezo

Mfumo wa Kusahihisha huongeza mfumo wa aina ya Java. Hii huruhusu wasanidi programu kugundua na kuzuia hitilafu kama vile vighairi vya vielekezi visivyofaa, athari zisizotarajiwa, sindano za SQL, hitilafu za upatanishi, majaribio ya usawa ya kimakosa, na hitilafu zingine za muda wa utekelezaji zinazoonekana wakati wa kujaribu au kwenye sehemu kwenye programu zao za Java. Mfumo wa Kusahihisha unajumuisha programu-jalizi za mkusanyaji ("vikagua") ambazo hupata hitilafu au kuthibitisha kutokuwepo kwao. Pia hukuruhusu kuandika programu-jalizi zako za mkusanyaji.