ESC проект / Java2 Интерфейса прави разбор Java 1.4 изходния код и Java 1.5 байткод в един абстрактен синтаксис дърво, което може да се използва за Extended Static проверка.The Extended Static за проверка на Java версия 2 (ESC / Java2) е инструмент за...

ESC/Java2

ESC/Java2 2.0 Beta 5

ESC / Java2 е разширена Static Checker за Java. Тя автоматично, статично и модулно открива общи програмни грешки. ESC / Java2 причини за Java програми, които са (по избор) анотации, написани на JML Какво ново в тази версия:. Няма големи...