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...

Lue lisää