Perforce QAC 与 Klocwork 中的 Rust 及 C/C++ 混合语言分析
越来越多的项目采用 Rust 与 C/C++ 混合开发的模式，然而，这种跨语言架构也带来了新的静态分析挑战——如何在同一项目中同时检测 Rust 代码和 C/C++ 代码的缺陷，识别跨语言数据传递引发的安全问题？
本期视频（中文字幕）中，Perforce 中国授权合作伙伴龙智（DragonSoft）将带您详细了解—— Perforce 静态分析工具 QAC 和 Klocwork 如何高效扫描 Rust 代码，发现内存安全之外的潜在问题，以及如何支持 Rust、C/C++ 混合代码库的跨语言统一分析。
主要看点
QAC 图形界面基础分析：
通过 QAC GUI 直观演示 Rust 项目的分析流程，自动识别未使用函数、注释代码等问题，一键启动分析即可在图形界面中查看标记结果。
Klocwork对 Rust 与 C/C++ 混合项目的分析配置：
演示Klocwork 命令行工具对混合语言项目的分析配置，包括启用内置的Clippy 引擎，以及Klocwork Rust 引擎进行数据流检查。
Rust 构建过程的捕获与复现：
演示 Klocwork构建集成工具Kwinject，如何捕获 cargo build 的过程，并在分析阶段复现完整的编译上下文。
Rust 安全与不安全代码中的缺陷洞察：
揭示 Rust 虽然在默认配置下是内存安全的，但不安全代码块中仍可能出现空指针解引用；而除零错误在名义上的“安全代码”中也同样可能发生。
跨语言问题检测：
演示在 Rust 代码与 C 代码之间传递数据时，工具能够检测出跨语言的污染索引问题——这是混合项目中极易被忽视的安全风险，也是 Rust 与 C/C++ 混合分析需要重点关注的地方。
关于Perforce QAC：
Perforce QAC（原Helix QAC）是一款专为 C 和 C++ 开发者打造的静态代码分析工具，能够自动扫描代码，精准检测违规，确保您的代码符合行业标准。
对于追求高安全、高可靠的汽车、eVTOL、医疗器械和机器人等行业，QAC不仅仅是一个代码检查工具，更是一个能满足严苛功能安全与合规要求的成熟解决方案。它支持多种编码规范（如 MISRA 和 AUTOSAR）以及功能安全标准（如 ISO 26262），并通过了 TÜV-SÜD 的功能安全合规认证，包括 IEC 61508、ISO 26262、EN 50716 和 IEC 62304。此外，它还通过了 ISO 9001 | TickIT plus 基础级认证，确保满足并超越您的需求。
关于Klocwork：
Perforce Klocwork是一款优秀的静态代码分析和SAST工具，适用于 C、C++、C#、Java、JavaScript、Python和Kotlin ，可识别软件安全性、质量和可靠性问题，帮助强制遵守标准。
Perforce Klocwork专为企业DevOps和DevSecOps打造，可适配任何规模的项目，能与大型复杂环境及各类开发工具集成，还可为整个企业提供管控、协作与报告支持，是一款优秀的静态分析工具。它在助力提升开发效率的同时，还能持续推动安全与质量合规性落地。
龙智（DragonSoft）服务支持
龙智（DragonSoft）是 Perforce 中国授权合作伙伴，为中国用户提供全方位的 Perforce QAC、Klockwork产品服务，包括咨询、销售、实施、培训、培训和技术支持等。欢迎联系龙智团队，获取有关 Perforce 产品的更多支持。
官网：www.shdsd.com
电话：400-666-7732
邮箱：marketing@shdsd.com
最新文章
相关产品
