SofCheck المفتش هو أداة تحليل ثابت أن يكتشف أخطاء في bytecodes جافا. ويستخدم ثابت ضبط تدفق، تدفق البيانات، ووضع الممكنة ذات القيمة الانتشار (PVP) تقنيات لتحديد أماكن الأخطاء وقت التشغيل يمكن ان تحدث. وتوفر هذه التقنية جودة البرمجيات الآلي تغطية مسار 100٪ ويسمح العيوب الكشف عن هويته والقضاء عليها في دورة حياة البرمجيات...