The Checker Framework

Beschreibung

Das Checker Framework erweitert das Typsystem von Java. Auf diese Weise können Softwareentwickler Fehler wie Nullzeiger-Ausnahmen, unbeabsichtigte Nebeneffekte, SQL-Injektionen, Parallelitätsfehler, fehlerhafte Gleichheitstests und andere Laufzeitfehler erkennen und verhindern, die während des Testens oder im Feld in ihren Java-Programmen auftreten. Das Checker-Framework enthält Compiler-Plug-Ins ("Checker"), die Fehler finden oder deren Abwesenheit überprüfen. Es erlaubt Ihnen auch, Ihre eigenen Compiler-Plug-Ins zu schreiben.