SofCheck Inspector er en statisk analyse verktøy som oppdager feil i Java bytecodes. Den bruker statiske kontrollflyt, dataflyt, og mulig-verdi-set forplantning (PVP) teknikker for å identifisere steder hvor Run tiden feil kan oppstå. Dette automatisert...