SofCheck inspecteur is een statische analyse tool die fouten ontdekt in Java bytecodes. Het maakt gebruik van statische controle-stroom, data-flow, en de mogelijke waarde ingesteld voortplanting (PVP) technieken om plaatsen waar run time fouten kunnen...