SoftCheck Inspector

描述

SofCheck Inspector 是一个静态分析工具，用于发现 Java 字节码中的错误。它使用静态控制流、数据流和可能值集传播 (PVP) 技术来识别可能发生运行时错误的位置。这种自动化的软件质量技术提供了 100% 的路径覆盖率，并允许在软件生命周期的早期即运行时间之前识别和消除缺陷。 Inspector 生成表征 Java 代码行为的前置条件和后置条件，对白盒代码检查很有用。它检测竞争条件、索引越界、溢出、被零除、死代码、未使用的分配、测试总是以一种方式进行或抛出异常。这是一个 45 天的试用版，最多支持 200 个课程。该产品包含一个 Sun 的 JRE 版本。