SofCheck Inspector er en statisk analyseværktøj, der opdager fejl i Java bytecodes. Det bruger statisk muligt-værdi-sæt formering (PVP) teknikker kontrol-flow, data-flow, og at identificere steder, hvor Run tid fejl kan forekomme. Denne automatiske...