The Checker Framework

Deskrizzjoni

Il-Qafas Checker itejjeb is-sistema tat-tip Java. Dan jippermetti lill-iżviluppaturi tas-softwer jiskopru u jipprevjenu żbalji bħal eċċezzjonijiet null pointer, effetti sekondarji mhux intenzjonati, injezzjonijiet SQL, żbalji konkorrenti, testijiet tal-ugwaljanza żbaljati, u żbalji oħra run-time li jidhru waqt l-ittestjar jew fil-qasam fil-programmi Java tagħhom. Il-Qafas tal-Checker jinkludi plug-ins tal-kompilaturi ("checkers") li jsibu bugs jew jivverifikaw in-nuqqas tagħhom. Jippermettilek ukoll li tikteb il-plug-ins tal-kompilatur tiegħek stess.