Klocwork—符合功能安全要求的自动化静态测试工具

产品概述
Klocwork是Perforce公司产品，主要用于C、C++、C#、Java、 python和Kotlin代码的自动化静态分析工作，可以提供编码规则检查、代码质量度量、测试结果管理等功能。Klocwork可以扩展到大多数规模的项目，与大型复杂环境、各种开发工具集成，并提供控制、协作和报告。Klocwork提供即时的分析结果，同时保持准确性，并支持CI/CD、容器、云服务和机器配置集成，进行自动化测试，保护您的软件在每次提交时免受漏洞的伤害。

Klocwork能够较为全面而准确地发现软件中潜在的问题，例如：可发现代码中的质量缺陷和安全漏洞；发现软件中运行时错误及缺陷以及不合规范代码；发现危险、过于复杂和不可移植代码等问题。目前已广泛应用于汽车电子商务、医疗器械、生产和通信等领域。

功能及特点

• 主要功能

 DevSecOps：Klocwork可以集成到CI/CD工具、容器、云服务等，便于实现自动化测试流程

 编码规范检查：支持CWE、OWASP、CERT、ISO/IEC TS 17961、MISRA C 2012、AUTOSAR C++等多种常见行业规范的检查

 缺陷检查：SQL注入、溢出、可靠性低等问题

 代码bug检查：空指针解引用、内存泄漏等问题

 软件质量度量：复杂度度量，包括圈复杂度、注释占比等，可以扩展定制的复杂度度量

• 与开发