SofCheck Inspector é uma ferramenta de análise estática que descobre erros em bytecodes Java. Ele usa a propagação possível valor de set-(PVP) técnicas de controle de fluxo estático, de fluxo de dados, e para identificar lugares onde erros de tempo de...