Software skärmdump:
Mjukvaruinformation:
ESC / Java2 Frontend projektet tolkar Java 1.4 källkod och Java 1.5 bytekod till ett abstrakt syntaxträd som kan användas för Extended Statisk Kontroll.
Extended Static Checker för Java version 2 (ESC / Java2) är ett programmeringsverktyg som försöker finna gemensamma körningsfel i JML-kommenterade Java-program genom statisk analys av programkod och dess formella anteckningar. Användare kan styra mängden och arten av kontroll av att ESC / Java2 utför genom fylla i sina program med special formaterade kommentarer kallas pragmas.
ESC / Java2 finns i två former:
Kommentarer hittades inte