SofCheck بازرس یک ابزار تجزیه و تحلیل استاتیک که کشف خطا در بایت کدهای جاوا است. آن استفاده می کند شخص کنترل جریان، جریان داده ها، و انتشار امکان پذیر ارزش تنظیم (PVP) تکنیک برای شناسایی مکان هایی که در آن خطاها در زمان اجرا می تواند رخ دهد. این روش خودکار کیفیت نرم افزار پوشش 100٪ مسیر و اجازه می دهد تا نقص به...