The Checker Framework

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ší chyby run-time, které se objeví v průběhu zkoušky, nebo v terénu do svých programů v jazyce Java. Rámec Checker zahrnuje kompilátoru moduly plug-in ("dáma"), které si chyby nebo ověřit jejich nepřítomnosti. To také umožňuje, abyste mohli napsat vlastní kompilátor plug-iny.