The Checker Framework 1.6.4
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ű...