Software screenshot:
Podrobnosti Software:
ESC / Java2 Frontend projekt analyzuje Java 1.4 zdrojový kód a Java 1.5 bytecode do Abstract Syntax Tree, který může být použit pro rozšířené Static Kontrola.
Rozšířená Static Checker pro Java verze 2 (ESC / Java2) je programovací nástroj, který se snaží najít společné run-time chyb v JML-komentovaných programů v jazyce Java pomocí statické analýzy programového kódu a jeho formální poznámky. Uživatelé mohou kontrolovat množství a druhy kontroly, které ESC / Java2 provádí podle vyložit své programy se speciálně formátovaných komentářů zvaných pragmas.
ESC / Java2 je k dispozici ve dvou formách:
Komentáře nebyl nalezen