SofCheck督察是一个静态分析工具，发现错误的Java字节码。它采用静态控制流，数据流，以及可能的值设定传播（PVP）技术，以查明可能发生运行时错误的地方。这种自动化的软件质量技术提供了100％的路径覆盖，并允许缺陷被识别并消除在软件生命周期的早期，在运行时之前。督察生成表征的Java代码的行为，并为白盒代码检查有用的前置条件和后置条件。它可以检测竞态条件，索引越界，溢出，除以零，死代码，未使用的作业，考试总是一种方式，或抛出的异常。这是支持多达200班有45天的试用版。该产品包含一个版本的Sun的...