The Checker Framework

Der Checker Rahmen erhöht Java-Typensystem. Auf diese Weise können Software-Entwickler erkennen und Fehler wie Null-Zeiger-Ausnahmen unbeabsichtigten Nebenwirkungen, SQL-Injektionen, Concurrency Fehler, verwechselt Gleichheit Tests und andere Laufzeitfehlern, die beim Testen oder im Bereich ihrer Java-Programme erscheinen zu verhindern. Der Checker Framework enthält Compiler Plugins ("Dame"), die Fehler finden oder überprüfen ihre Abwesenheit. Es ermöglicht Ihnen auch eine eigene Compiler Plugins zu schreiben.