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