The Checker Framework 1.6.4
Framework Checker posiluje systém typu Java je. To umožňuje vývojáři softwaru odhalit a zabránit chybám, jako je nulový ukazatel výjimek, nezamýšlených vedlejších účinků, SQL injekce, synchronizačních chyb, nesprávných testy rovnost žen a mužů, a další...