The Checker Framework

apibūdinimas

„Checker Framework“ pagerina „Java“ tipo sistemą. Tai leidžia programinės įrangos kūrėjams aptikti ir užkirsti kelią tokioms klaidoms, kaip nulinės rodyklės išimtys, nenumatyti šalutiniai poveikiai, SQL injekcijos, lygiagretumo klaidos, klaidingi lygybės testai ir kitos vykdymo laiko klaidos, atsirandančios atliekant bandymus arba jų Java programų lauke. „Checker Framework“ apima kompiliatorių papildinius („tikrintuvus“), kurie randa klaidas arba patikrina, ar jų nėra. Tai taip pat leidžia jums parašyti savo kompiliatoriaus papildinius.