The Checker Framework

Leírás

A Checker Framework továbbfejleszti a Java típusrendszerét. Ez lehetővé teszi a szoftverfejlesztők számára, hogy észleljék és megelőzzék az olyan hibákat, mint a nullmutató kivételek, nem kívánt mellékhatások, SQL-injektálások, párhuzamossági hibák, hibás egyenlőségi tesztek és egyéb futásidejű hibák, amelyek a tesztelés során vagy a terepen jelennek meg Java-programjaikban. A Checker Framework olyan fordító beépülő modulokat ("ellenőrzőket") tartalmaz, amelyek hibákat találnak, vagy ellenőrzik azok hiányát. Azt is lehetővé teszi, hogy saját fordítói beépülő modulokat írjon.