SofCheck מפקח הוא כלי ניתוח סטטי שמגלה שגיאות בbytecodes Java. היא משתמשת בשליטת זרימת סטטי, נתוני זרימה, וטכניקות התפשטות ההגדרה אפשרי-ערך (PVP) לזהות מקומות שבם שגיאות זמן ריצה עלולות להתרחש. טכניקת איכות תוכנה אוטומטית זה מספק 100% כיסוי נתיב ומאפשרת...