ESC/Java2 Frontend 2.0.5
ESC projektu / Java2 Java Frontend analizuje kod źródłowy i 1,4 kodu bajtowego w Java 1.5 składni abstrakcyjnej drzewa, które mogą być używane do rozszerzonej Static Sprawdzanie.Rozszerzona Static Checker for Java w wersji 2 (ESC / Java2) to narzędzie...