ESC/Java2 Frontend 2.0.5
ESC / Java2 Frontend-Projekt analysiert Java 1.4 Source-Code und Java 1.5-Bytecode in eine abstrakte Syntaxbaum, der für Erweiterte statische Prüfung verwendet werden kann.Der Erweiterte statische Checker für Java-Version 2 (ESC / Java2) ist ein...