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 Що нового У цьому випуску :. Там...