产品概述
Perforce QAC（前身 Helix QAC）是 Perforce Software 推出的面向嵌入式与安全关键软件的高精度静态分析工具，基于专用的 C（QAC）、C++（QAC++）解析引擎与过程间数据流分析，检测空指针解引用、缓冲区溢出、未初始化对象使用、除零、数值回绕与死代码等缺陷，并支持 MISRA、AUTOSAR、CERT、CWE 等编码标准合规与功能安全认证。
C/C++/Rust 静态分析
提供 C、C++ 与 Rust 三种语言的静态分析能力：2026.1 起新增 Rust 分析器组件，支持 Rust 原生检查与第三方 Clippy linter，可在混合语言项目中跨语言边界进行数据流与 RCMA 流程分析，并统一报告结果。每种语言提供超过 2000 项检查与代码指标。
过程间数据流分析
采用可配置分析深度的过程间数据流引擎，准确识别空指针解引用、缓冲区溢出、未初始化对象使用、除零、数值回绕与死代码等缺陷；2026.1 起数据流能力扩展至跨 C/C++/Rust 混合语言代码库。
编码标准合规
通过合规分类（compliance taxonomies）强制执行编码标准，覆盖 MISRA C:2025、MISRA C++:2023、AUTOSAR C++14、CERT C、CWE 等，并可在诊断中减少误报与漏报。
功能安全认证
经 TÜV-SÜD 独立认证，符合 ISO 26262（最高 ASIL D）、IEC 61508（最高 SIL 4）、EN 50716（最高 SW-SIL 4）、IEC 62304（最高软件安全等级 C）与 IEC 60880（核电）等标准，并提供相应认证套件（qualification kits）。
AI 辅助代码修复与 MCP
基于分析结果向 AI 助手提供缺陷信息、修复指导与规则文档，支持自然语言跨缺陷查询与对话式修复；MCP 服务器提供标准化接口，可集成 Visual Studio Code 中的 GitHub Copilot Chat 等 AI 聊天工具。
Validate 平台集成
与 Perforce Validate 持续安全与代码合规平台集成：支持 CI 构建质量门（quality gate）、SARIF 格式导出、源代码浏览器、反向代理支持与连接项目（connected projects）统一管理分析结果。
IDE 与构建系统集成
提供 Visual Studio Code、Eclipse、Visual Studio 等 IDE 插件与 CLI（qacli），支持 Bazel、CMake 等构建系统，覆盖 Clang、GCC、QNX、Tasking Tricore 等编译器与平台。
合规模块与报告
提供面向特定标准的合规模块（Compliance Modules）、合规仪表盘与审计导出，支持偏离（deviation）理由的编辑与合规报告生成，并输出代码指标与缺陷统计。
