SofCheck Inspector è uno strumento di analisi statica che scopre gli errori in bytecode Java. Esso utilizza statico di controllo del flusso, del flusso di dati, e le tecniche di propagazione possibile valore-set (PVP) per identificare i luoghi in cui...