Skjermbilde programvare:
Prog.varedetaljer:
ESC / Java2 Frontend prosjektet analyserer Java 1.4 kildekode og Java 1.5 Bytecode inn en Abstract Syntax treet som kan brukes for Extended Statisk Kontroll.
Utvidet Statisk Checker for Java versjon 2 (ESC / Java2) er et programmeringsverktøy som forsøker å finne felles run-time feil i JML-kommenterte Java-programmer ved statisk analyse av programkoden og dens formelle merknader. Brukere kan kontrollere mengden og typer kontrollere at ESC / Java2 utfører ved å kommentere sine programmer med spesielt formaterte kommentarer kalt pragmas.
ESC / Java2 er tilgjengelig i to former:
Kommentarer ikke funnet