SofCheck Inspector is a static analysis tool that discovers errors in Java bytecodes. It uses static control-flow, data-flow, and possible-value-set propagation (PVP) techniques to identify places where run time errors could occur. This automated software...