Klocwork(RogueWave)

2020-12-23
418

Klocwork帮助开发者构建更加安全可靠的软件,早期发现代码中的质量缺陷。它通过遍历所有的执行路径来确定代码是否存在问题,特别适合于大型工程。

C/C 检查器单个位置中的所有 C/C 检查器,包括用于检测以下内容的检查器:数组边界违规,空指针取消引用,无限循环。

Java 检查器我们的整个 Java 检查器套件,包括以下检查器类型:特定于 Android 的检查器,例如 ANDROID.NPE,标准 Java 缺陷检查器,例如未捕获的异常或多余的 if 语句。

Klocwork 检查器会检查您的源代码是否存在缺陷和潜在漏洞。 检查器会在最基本的级别提供用于驱动 Klocwork 分析的逻辑。 所有检查器参考页面均包含检查器可检测的漏洞或程序缺陷的描述,以及工作代码示例。