Software detaljer:
ESC / Java2 Frontend projekt parser Java 1.4 kildekode og Java 1.5 bytekode ind i en abstrakt Syntax Tree, der kan bruges til Extended Statisk Kontrol.
Den udvidede Static Checker for Java version 2 (ESC / Java2) er et programmeringsværktøj, der forsøger at finde fælles run-time fejl i JML-annoterede Java-programmer af statisk analyse af programkoden og sine formelle anmærkninger. Brugere kan kontrollere mængden og former for at kontrollere, at ESC / Java2 udfører ved udfyldelse deres programmer med specielt formaterede kommentarer kaldet pragmas.
ESC / Java2 findes i to former:
Kommentarer ikke fundet