SofCheck Inspector este un instrument de analiză statică, care descopera erori in cod mașină Java. Acesta utilizează-flow control static,-fluxul de date, și tehnici de set-posibil-valoare de propagare (PVP) pentru a identifica locurile unde ar putea...