Software kuvakaappaus:
Ohjelmiston tiedot:
ESC / Java2 Frontend hanke jäsentää Java 1.4 lähdekoodi ja Java 1.5 bytecode osaksi Abstract Syntax Tree, joka voidaan käyttää Extended Staattinen tarkistaminen.
Laajennettu Static Checker Java-versio 2 (ESC / Java2) on ohjelmointityökalu, joka yrittää löytää yhteinen ajonaikaisen virheitä JML-selityksin Java-ohjelmia staattinen analyysi ohjelmakoodin ja sen virallisia merkintöjä. Käyttäjät voivat valvoa määrä ja erilaisia tarkistaa, että ESC / Java2 suorittaa by kommentointiin ohjelmiaan erityisesti muotoiltuja kommentteja nimeltään Pragmat.
ESC / Java2 on saatavana kahdessa muodossa:
Kommentteja ei löytynyt