ESC проекта / Java2 Frontend разбирает Java 1.4 исходного кода и байт-код Java 1.5 в абстрактное синтаксическое дерево, которое может быть использовано для Расширенная статическая проверка.Расширенное Статический проверки для Java версии 2 (ESC / Java2)...

ESC/Java2

ESC/Java2 2.0 Beta 5

ESC / Java2 является Extended Статическая проверки для Java. Он автоматически, статически и модульно обнаруживает общие ошибки программирования. ESC / java2 соображения о Java программ, которые (опционально) аннотации, написанные в JML Что нового В...