ESC/Java2 Frontend 2.0.5
פרויקט ESC / Java2 הקדמי מנתח קוד מקור 1.4 Java ו- Java bytecode 1.5 לעץ תחביר מופשט, שניתן להשתמש לבדיקה סטטית מורחבת.בודק המורחב סטטי עבור Java גרסה 2 (ESC / Java2) הוא כלי תכנות שמנסה למצוא שגיאות זמן ריצה משותפות בתוכניות Java מבוארת-JML על ידי ניתוח...