軟件截圖:
ESC / Java2的前端項目解析的Java 1.4源代碼和Java 1.5字節碼到抽象語法樹，可以被用於擴展靜態檢查。
擴展靜態檢查的Java版本2（ESC / Java2中）是一種編程工具，它試圖通過程序代碼的靜態分析和正式的註釋來查找JML標註的Java程序中常見的運行時錯誤。用戶可以控制的數量和種類檢查ESC / Java2的執行由他們的註釋與程序特殊格式的註釋稱為編譯指示。
ESC / Java2中有兩種形式可供選擇：
評論沒有發現