ESC/Java2 Frontend 2.0.5
ESC المشروع / Java2 الواجهة يوزع رمز جافا 1.4 المصدر وجافا 1.5 بايت كود إلى بناء الجملة شجرة الخلاصة التي يمكن استخدامها لفحص ثابت موسع.مدقق ثابت الموسعة ل Java الإصدار 2 (ESC / Java2) هو أداة البرمجة الذي يحاول العثور على أخطاء وقت التشغيل المشتركة في برامج جافا JML المشروح من قبل تحليل ثابت من رمز البرنامج وشروحها...