The Checker Framework

Περιγραφή

Το Checker Framework βελτιώνει το σύστημα τύπου της Java. Αυτό επιτρέπει στους προγραμματιστές λογισμικού να εντοπίζουν και να αποτρέπουν σφάλματα όπως εξαιρέσεις μηδενικού δείκτη, ακούσιες παρενέργειες, ενέσεις SQL, σφάλματα ταυτόχρονης χρήσης, εσφαλμένες δοκιμές ισότητας και άλλα σφάλματα χρόνου εκτέλεσης που εμφανίζονται κατά τη διάρκεια της δοκιμής ή στο πεδίο στα προγράμματά τους Java. Το Checker Framework περιλαμβάνει πρόσθετα μεταγλωττιστή ("checkers") που εντοπίζουν σφάλματα ή επαληθεύουν την απουσία τους. Σας επιτρέπει επίσης να γράψετε τα δικά σας πρόσθετα μεταγλωττιστή.