Software screenshot:
Software informatie:
ESC / Java2 Frontend project ontleedt Java 1.4 source code en Java 1.5 bytecode in een Abstract Syntax Tree die kunnen worden gebruikt voor Extended Static controleren.
De Extended Static Checker voor Java versie 2 (ESC / Java2) is een programmeertaal tool die probeert om gemeenschappelijke run-time fouten in JML-geannoteerde Java-programma's te vinden door statische analyse van de programmacode en de formele annotaties. Gebruikers kunnen de hoeveelheid en de aard van de controle die ESC / Java2 voert door annoteren hun programma's met speciaal opgemaakte reacties opgeroepen pragma controleren.
ESC / Java2 is verkrijgbaar in twee vormen:
Reacties niet gevonden