转载自Perforce Software, Inc.

发现隐藏的安全关键问题

越来越多的团队开始在关键任务项目中采用 Rust，因为它能够彻底消除一类与内存相关的缺陷，提供更安全的并发机制，并减少数据竞争——但仅靠 Rust 还远远不够。Perforce 静态分析工具QAC和Klocwork能够解决常见 Rust 代码检查工具无法覆盖的盲点，例如跨过程数据流、不安全代码块分析，以及在 Rust/C/C++ 混合项目中的跨语言代码覆盖率。

混合语言系统中的全面可视化与统一治理

多语言系统在将 Rust 引入原本受控的 C/C++ 代码库时，会增加复杂性，并导致安全、可靠性及合规性覆盖范围的缺失。Perforce 静态分析通过在单一工作流中提供跨语言可见性，简化了从 C 和 C++ 向 Rust 的迁移过程。这种方法还能生成一致且可审计的安全、可靠性及合规性问题报告，以支持受监管的审计工作。

虽然目前尚无专门针对 Rust 的编码规范，但鉴于 Rust 与 C/C++ 代码之间的跨语言互操作性，许多编码规范仍然适用（但仅限于 C/C++ 代码）。

经过验证的企业级静态分析，提供可投入生产的支持

通过将 Rust 代码分析集成到现有工作流中，减少工具和流程的碎片化。Perforce 静态分析工具QAC和Klocwork提供了深度跨过程数据流分析、跨文件推理以及符合审计要求的证据，这些对于安全关键型环境至关重要。此外，QAC 和 Klocwork 均可与 Clippy 集成，将 Clippy 的检测结果与静态分析工具提供的先进诊断功能相结合。

无论您需要大规模的静态代码分析（SAST），还是希望获得前所未有的覆盖深度，Perforce 静态分析工具QAC和Klocwork都是分析 Rust、C 和 C++ 项目的最佳入门选择。

欢迎联系我们申请免费试用