| Checker-Framework. Open-Source-Framework, das das Typsystem von Java verbessert |
Jetzt downloaden |
Checker-Framework. Ranking & Zusammenfassung
- Lizenz:
- MIT/X Consortium Lic...
- Name des Herausgebers:
- Michael Ernst
- Website des Verlags:
- http://pag.csail.mit.edu/daikon/
Checker-Framework. Stichworte
Checker-Framework. Beschreibung
Sie sind müde von NULL-Zeigerausnahmen, unbeabsichtigte Nebenwirkungen, SQL-Injektionen, Parallelitätsfehler, falsche Gleichstellungsversuche und andere Laufzeitfehler, die während des Testens oder im Feld auftreten? Checker-Framework verbessert das Typensystem von Java, um es leistungsfähiger und nützlicher zu gestalten . Dadurch können Softwareentwickler Fehler in ihren Java-Programmen erkennen und verhindern. Das Checker-Framework enthält Compiler-Plug-Ins ("Checkers"), die Fehler finden oder ihre Abwesenheit überprüfen. Es erlaubt Ihnen auch, ein eigenes Compiler-Plug-Ins.Checker Framework zu schreiben, ist ein plattformübergreifendes Dienstprogramm, das in einem beliebigen Betriebssystem ausgeführt wird, das mit der Java-Unterstützung geliefert wird (z. B. Mac OS X, Windows, Linux) .produzieren
Checker-Framework. Zugehörige Software