The Checker Framework

A Checker Framework növeli Java típusú rendszer. Ez lehetővé teszi a szoftverfejlesztők hibákat felderíteni és megelőzni, mint null pointer kivételek, nem kívánt mellékhatások, SQL injekció, konkurencia hibák, téved egyenlőség tesztek, és egyéb futásidejű hibák, amelyek megjelennek a tesztelés során, vagy a helyszínen a saját Java programok. A Checker keret tartalmazza fordító plug-ins ("Dáma"), hogy megtalálják a hibákat, illetve ellenőrzi azok hiánya. Azt is lehetővé teszi, hogy írjon a saját fordító plug-inek.