SofCheck Inspektor jest narzędziem do analizy statycznej, że odkrywa błędy w bytecodes Java. Używa statycznej kontroli przepływu, przepływu danych i możliwe wartości ustawione propagacji (PVP) technik w celu identyfikacji miejsca, w których mogą wystąpić...