SofCheck Інспектор інструмент статичного аналізу, що виявляє помилки в Java байт-код. Він використовує статичний потоку управління, потоку даних, і можна-вартість встановлюється розповсюдження (ПВП) методи виявлення місць, де можуть виникнути помилки часу...