The Checker Framework

Checker Framework parantaa Javan tyyppinen järjestelmä. Tämän avulla ohjelmistokehittäjät havaita ja estää virheitä kuten nollaosoittimen poikkeuksia, tahattomista sivuvaikutuksista, SQL injektiot, samanaikaisuuden virheitä, väärässä tasa testit ja muut run-time virheitä, jotka näkyvät testauksen aikana tai kentällä niiden Java-ohjelmia. Checker Framework sisältää kääntäjän laajennuksia ("nappuloita"), joka löytää vikoja tai tarkistaa niiden puuttuminen. Sen avulla voit myös kirjoittaa oman kääntäjä laajennuksia.